Member predicate Expr::pointsTo

Holds if this expression might “point-to” to value.

predicate pointsTo(Value value)