let do_wp_print () =
(* Printing *)
if Wp_parameters.Print.get () then
try
Wpo.iter ~on_goal:(fun _ -> raise Exit) () ;
Wp_parameters.result "No proof obligations"
with Exit ->
Log.print_on_output "%t"
(fun fmt ->
Wpo.iter
~on_environment:(Wpo.pp_environment fmt)
~on_behavior:(Wpo.pp_function fmt)
~on_goal:(Wpo.pp_goal_flow fmt) ())