Member predicate ControlFlowNode::strictlyReaches

Whether this strictly reaches other.

predicate strictlyReaches(ControlFlowNode other)