Merge branch 'release/v1.2.2'
Prepare test case for loop unswitching
Get constant value from bool
Handle char and bool variables
Prototype of loop unswitching
Activate loop unswitching
Complete detection of loops
Make sure the condition is invariant
Continue prototype
Cleanup
First implementation of loop unswitching
Add logging
Crap
Reorder the variables
Fix the CFG
Cleanup
Remove logging
Add a new test
Activate the new test
Merge branch 'feature/loop_unswitching' into develop