Holds if this split kind is enabled for AST node n. For performance reasons,
the number of splits is restricted by the maxSplits() predicate.
predicate isEnabled(ControlFlowElement n)Holds if this split kind is enabled for AST node n. For performance reasons,
the number of splits is restricted by the maxSplits() predicate.
predicate isEnabled(ControlFlowElement n)