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