The idea is if there is more than one \b tail for a loop, some tails are more "preferred" than others and should have their exit edges preserved longer and be the target of the DAG path. Currently we look for a single \b tail that has an outgoing edge to the \b exitblock and make sure it is the first tail.
source not stored for this graph (policy: none)
no test coverage detected