Updated the strategy for generation of the let be st expression/statement to reflect the most recent changes made to the transformation assistants
Import cleanup in statement visitor
More refactoring made to the transformation strategies in order to reflect the merging of all transformation assistants into a single class.
Added strategy for generation of the forall expression
Removed method parameters that were not needed in the transformation assistant
Added case to the transformation visitor that handles the transformation of the forall expression.