let do_check_feedback g lang result =
  Wp_parameters.feedback "[%a] Goal %s : %a"
    Wpo.pp_language lang g.Wpo.po_gid Wpo.pp_result result