Predicate PointsTo::pointerValue

Holds if e has a pointer type.

predicate pointerValue(Expr e)