Encapsulating some clausenv uses. This simplifies the control flow of some
tactics.