Class DemandRefinementPointsTo.PointsToComputer