Added template for the exist1 expression together with templates for other constructs used for generation of the exist1 expression (counter, increment, decrement). All the templates have been added to the template manager.
Generated the exist1 expression into an equivalent node in the IR AST.
Prepared strategies related tranformation of the forall and the exist expression for the introduction of the exist1 expression strategy