- Find irreducible edges - Find a spanning tree - Set FlowBlock indices in reverse-post order - Label tree-edges, forward-edges, cross-edges, and back-edges \param rootlist will contain the entry points for the graph
source not stored for this graph (policy: none)
no test coverage detected