Version 1.21.1
Which elements are in which points-to sets.
predicate pointstosets(int ptset, @element elem)