States2typingInvariants does not deal with lifted statemachines anymore. New class added to do this. The first was having problems with ordering the invariants