let
add_inv_hyp wenv obj h =
W
.add_as_hyp wenv h obj