Member predicate Flow::ControlFlowNode::unlikelyReachable

Whether it is unlikely that this ControlFlowNode can be reached

predicate unlikelyReachable()