Predicate PointsTo::location

Things that are elements of points-to sets.

predicate location(Element location)