Small optimizations in AndersenPointsTo