sig   val cache_log :     pid:WpPropId.prop_id ->     model:Model.t -> prover:VCS.prover -> result:VCS.result -> string   val pretty :     pid:WpPropId.prop_id ->     model:Model.t ->     prover:VCS.prover -> result:VCS.result -> Format.formatter -> unit   val file_kf :     kf:Cil_types.kernel_function ->     model:Model.t -> prover:VCS.prover -> string   val file_goal :     pid:WpPropId.prop_id -> model:Model.t -> prover:VCS.prover -> string   val file_logout :     pid:WpPropId.prop_id -> model:Model.t -> prover:VCS.prover -> string   val file_logerr :     pid:WpPropId.prop_id -> model:Model.t -> prover:VCS.prover -> string end