let file_for_model ~model lang =
let dshare = Wp_parameters.get_share() in
let suffix =
match lang with
| L_ergo91 -> "_ergo91.why"
| L_ergo92 -> "_ergo92.why"
| L_why -> "_model.why"
| L_coq -> "_model.v"
in Printf.sprintf "%s/%s%s" dshare model suffix