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