flowgraph