Member predicate ControlFlowNode :: isBranch
Holds if this is a node with more than one successor.
predicate
isBranch
(
)