Compilation to CFG