Improve constructors
Improve constructors
Merge branch 'feature/clean_string' into develop
Add support for a new kind of Basic Induction Variable
Refactor the estimations calculation
Compute the number of iterations of more loops
Cleanup
Improve logging
Refactorings
Complete loop peeling is now able to peel much more loops
Add a way to find the exit bb of a loop
Allow to query the preheader without creating it if it does not exist
Review preheader
Improve logging
Cleanup and improve logging
Isolate the optimization
Update the test case again
Use std::to_string
Use std::to_string
Remove old unused function