PropIter. public final class PropIter; extends Propagator. Propagates points-to sets along pointer assignment graph using iteration
person, man, life, guy, creature, human, soul, thing; Antonyms of INDIVIDUAL
