Member predicate Splitting::BooleanSplitting::BooleanSplitSubKind::startsSplit

Holds if control flow element cfe starts a split of this kind.

predicate startsSplit(ControlFlowElement cfe)