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
)