let
add_call_hyp wenv obj h =
debug
"add hyp %a@."
WpPropId
.pp_pred_info h;
W
.add_hyp wenv h obj