This pointer analysis uses companion properties of objects to obtain greater precision analyzing collections and iterators. @author C. Scott Ananian