Prepared transformation assistant with functionality to be used for generation of the exist1 expression.
Added a "quantifierexpression path" to the template structure
Added the exist1 expression to the IR AST together with other constructs that will be used for generating the exist1 expression.