Add CFG simplification
Add loop detection
Some minor updates here and there
Add copy functionality
Add inliner