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