Member predicate CFG::ControlFlowNode::isBranch

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

predicate isBranch()