FormulaSyntaxAnalyzer now also works for CTL formulas
Cleanup; added test for transformation of nested if-then-else statements; component syntax analyzer now allows if-then-else statements but disallows unsupported operators, async, etc.
Added a side effect analyzer, as expression cannot have side effects at the moment (will be removed later)