Minor updates to test results related to deflattening
The testing system should execute all Java code by default
Fix: transformation of the let def statement did not reapply the visitor
Got rid of the deflattening transformation and some renaming of another transformation
Updated the functionality that finds the appropriate enclosing statement of a node