if (UnconditionalValueDerefAnalysis.DEBUG) { System.out.println("Adding dereference of " + vn + " to # " + System.identityHashCode(this) + " @ " + location); }
	public void addDeref(ValueNumber vn, Location location) {		valueNumberSet.set(vn.getNumber());		Set<Location> derefLocationSet = getDerefLocationSet(vn);		derefLocationSet.add(location);	}