First pass at an implementation of points-to set enumeration.