For other CodeQL resources, including tutorials and examples, see Learning CodeQL
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.
this.refersTo(value, _, origin)
predicate refersTo(Object obj, ControlFlowNode origin)