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