Member predicate Expr::pointsTo

Holds if this expression might “point-to” to value which is from origin in the given context.

predicate pointsTo(Context context, Value value, AstNode origin)