Member predicate Flow::ControlFlowNode::refersTo

Gets what this expression might “refer-to” in the given context.

predicate refersTo(Context context, Object value, ClassObject cls, ControlFlowNode origin)