let add_hyp wenv obj h =
    let h_id = WpAnnot.id_of_id_pred h in
    let p = WpAnnot.body_of_id_pred h in
      Wp_parameters.debug ~level:3 "add hyp (@[%s:@ %a@])@."
        (WpAnnot.prop_txt h_id) !Ast_printer.d_predicate_named p;
      W.add_hyp wenv h_id p obj