Compilation from CFG to Linear abandonned (left in comments)