Predicate PointsTo::anythingPointsTo

Holds if anything points to an element, that is, is equivalent to:

  exists(PointsToExpr e | e.pointsTo() = elem)
predicate anythingPointsTo(Element elem)