Member predicate ControlFlowNode :: isBranch
Holds if this CFG node is a branch
predicate
isBranch
(
)