Beginnings of building a control flow graph.