Member predicate Splitting::SplitInternal::hasEntry

Holds if this split is entered when control passes from c to the entry point succ.

Invariant: hasEntry(c, succ) implies succ = Successor::succEntry(c).

predicate hasEntry(Callable c, ControlFlowElement succ)