Major changes to control-flow graph generation, leading to more useful CFGs