Label any edge that leaves the set of nodes in \b body. Put the edges in priority for removal, middle exit at front, \e head exit, then \e tail exit. We assume all the FlowBlock nodes in \b body have been marked. \param body is list of nodes in \b this loop body
source not stored for this graph (policy: none)
no test coverage detected