Member predicate ControlFlowNode :: isBranch
Holds if this control flow node has more than one successor.
predicate
isBranch
(
)