Member predicate ControlFlow::Internal::SplitKind::isEnabled

Holds if this split kind is enabled for control flow element cfe. For performance reasons, the number of splits is restricted by the maxSplits() predicate.

predicate isEnabled(ControlFlowElement cfe)