Merge pull request #165 from chsticksel/inv-gen

Use new transition system in parser
Flag state variables as irrelevant for inv. gen.