Predicate ControlFlow::Internal::succExitSplits

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

Import path

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