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