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