let goal prover w =
let file = Tmp.file w.po_gid ".why" in
export file [
file_for_model ~model:w.po_model prover ;
file_for_env ~env:w.po_env prover ;
file_for_goal ~gid:w.po_gid prover ;
] (fun _fmt -> ()) ;
file