Partial commit. Modeling of flow graph construction nearly done.
The structure is in place, but we need to assign labels to every
statement to make life easier for ourselves.
Forgot a file