CFG generator seems wrong currently

[dstallenberg]

There are certainly things that don't work currently:

• switch statements
• for in and for of loops

In addition, the number of branch objectives do not match up with the number of branches that the instrumentation reports.

It would be best to create a new generator that uses the visitor pattern of babel.