Added strategy for transformation of the exist1 expression