Member predicate MakeWithSplitting::SplitImpl::hasEntry

Holds if this split is entered when control passes from pred to succ with completion c.

Invariant: hasEntry(pred, succ, c) implies succ(pred, succ, c).