Add note about -O
Fix mergeExceptions bug, unnecessary conversion
Fix and refactor vertex cut algorithm
Minor refactoring
Add Try/Catch test
Fix bug in exception merging
Make propagateConstraints always return triples, even if not all entries are used
Improve unused variable removal
Filter candidates for exception merging