fixed recursive transformation of ExprStatements
ifdeftoif refactorings
fixed StatementTransformations (replacing of opt nodes was not done in the compoundstatement part)
several more bug fixes
removed old statistical values
code review
removed comments from Frontend; extra object with my helper methods; better file name for CFG.dot
Merge with Florian