let do_wp_print_for goals = if Wp_parameters.Print.get () then if Bag.is_empty goals then Wp_parameters.result "No proof obligations" else Log.print_on_output (fun fmt -> Bag.iter (Wpo.pp_goal_flow fmt) goals)