Member predicate Splitting::SplitInternal::hasExit

Holds if this split is left when control passes from pred out of the enclosing callable result with completion c.

Invariant: succ = hasExit(pred, c) implies succ = Successor::succExit(pred, c)

Callable hasExit(ControlFlowElement pred, Completion c)