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