Predicate Splitting::succExitSplits

Holds if pred with splits predSplits can exit the enclosing callable succ with type t.

predicate succExitSplits(ControlFlowElement pred, Splits predSplits, Callable succ, SuccessorType t)