Member predicate Exprs::Expr::pointsTo

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

predicate pointsTo(Value value, AstNode origin)