Member predicate Splitting::SplitInternal::appliesTo

Holds if this split applies to control flow element cfe.

predicate appliesTo(ControlFlowElement cfe)