ifdeftoif refactorings
fixed StatementTransformations (replacing of opt nodes was not done in the compoundstatement part)
several more bug fixes