Member predicate ExprWithPointsTo::refersTo
NOTE: refersTo will be deprecated in 2019. Use pointsTo instead.
Gets what this expression might “refer-to” in the given context.
predicate refersTo(Context context, Object obj, ClassObject cls, AstNode origin)