Added tests revealing problem with generation of compehensions, quantifiers and "lets"
Added deflattening transformation and made use of it in the Java code generator
Updated test results for tests where the cast expression is used
Added fix for the cast operator in the IR which did not treat operator precedence correctly
Added test revealing problem with generation of the map sequence state designator
Fix for generation of map sequence state designators