Member predicate ControlFlow::ControlFlowNode::isBranch

Holds if this control flow node has more than one successor.

predicate isBranch()