&& derefOffsetMap.equals(otherFact.derefOffsetMap);
&& derefLocationSetMap.equals(otherFact.derefLocationSetMap);
	public boolean isSameAs(UnconditionalValueDerefSet otherFact) {		return valueNumberSet.equals(otherFact.valueNumberSet)			&& derefOffsetMap.equals(otherFact.derefOffsetMap);	}