Initial flowgraph