Member predicate Flow::ControlFlowNode::strictlyReaches

Whether this strictly reaches other.

predicate strictlyReaches(ControlFlowNode other)