Removed a parameter that is not needed in the exist1 transformation strategy
Added transformation of the exist1 expression which completes its generation