Fixed #741 by making the tests too complicated for the type checker to find the tautologies