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