//really then, should only store the cache when we are, in fact, in a loop.
private Map<Variable, Set<ObjectLabel>> loopedVariables;
public MayPointsToTransferFunctions(DeclarativeRetriever retriever, TypeHierarchy types) {
ops = new PointsToLatticeOps(types);
loopCounter = new LoopCounter();
this.retriever = retriever;
this.types = types;
knownLiterals = new HashMap<Object, ObjectLabel>();
loopedVariables = new HashMap<Variable, Set<ObjectLabel>>();
knownLiterals.put(null, new LiteralLabel(null, "java.lang.Object"));