let do_wpo_feedback g prover result = Wp_parameters.feedback "[%a] Goal %s : %a" Wpo.pp_prover prover g.Wpo.po_gid Wpo.pp_result result