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