let
add_goal wenv obj g =
debug
"add goal %a@."
WpPropId
.pp_pred_info g;
W
.add_goal wenv g obj