Member predicate ControlFlowNode::refersTo
Whether this flow node might “refer-to” to value
which is from origin
Unlike this.refersTo(value, _, origin)
this predicate includes results
where the class cannot be inferred.
predicate refersTo(Object obj, ControlFlowNode origin)