NOTE: refersTo will be deprecated in 2019. Use pointsTo instead.
Holds if this expression might “refer-to” to value which is from origin
Unlike this.refersTo(value, _, origin), this predicate includes results
where the class cannot be inferred.