if (UnconditionalValueDerefAnalysis.DEBUG) { System.out.println("Clearing dereference of " + value + " for # " + System.identityHashCode(this)); }
	public void clearDerefSet(ValueNumber value) {		valueNumberSet.clear(value.getNumber());		derefLocationSetMap.remove(value);	}