Member predicate ControlFlowNode::isBranch

Holds if this is a node with more than one successor.

predicate isBranch()