allow to use mentat.util inside @ClassDefinition.invariant @Pre