let file_for_model ~model pi =
let suffix =
match pi with
| AltErgo91 -> "_ergo91.why"
| AltErgo92 -> "_ergo92.why"
| WP | Why _ -> "_model.why"
| Coq | Coqide -> "_model.v"
in Printf.sprintf "%s/wp/%s%s" Config.datadir model suffix