Member predicate SplitImpl::hasEntryScope

Holds if this split is entered when control passes from scope to the entry point first.

Invariant: hasEntryScope(scope, first) implies scopeFirst(scope, first).