Member predicate CFG::ControlFlowNode::isJoin

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

predicate isJoin()