Member predicate SplitImpl::hasExitScope

Holds if this split is left when control passes from last out of the enclosing scope scope with completion c.

Invariant: hasExitScope(scope, last, c) implies scopeLast(scope, last, c)