- removed faulty optimization in loop unwinding.
- added more test cases.
- organized imports
- improved printing. 
- fixed minor bugs.
working on the problem with false positives due to duplicated
finally-blocks in Java.