Version 1.22.0
Holds if this expression might “point-to” to value which is from origin.
value
origin
predicate pointsTo(Value value, AstNode origin)