Member predicate SplitImpl::appliesSucc

The succ relation restricted to predecessors pred that this split applies to.

predicate appliesSucc(ControlFlowElement pred, ControlFlowElement succ, Completion c)