Predicate PointsTo::pointstosets

Which elements are in which points-to sets.

predicate pointstosets(int ptset, @element elem)