Could you put both invariants in one module, and then make two separate models to check one each? That might sidestep the problem for you.