Member predicate ControlFlow::ControlFlowNode::isJoin

Holds if this control flow node has more than one predecessor.

predicate isJoin()