- Porting of ClangSMG is not finished - all mising functions declaration are in comments now
- Porting of SMG.java/ReadableSMG.java is heavily unfinished
- Joins and Abstractions not ported at all
- Other TODOs (not-ported, not-discussed code) scattered arround the code