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 -> Stdlib.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