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