derefLocationSet.or(entry.getValue()); derefLocationSetMap.put(entry.getKey(), derefLocationSet);
derefLocationSet.or(sourceEntry.getValue()); derefLocationSetMap.put(sourceEntry.getKey(), derefLocationSet);
	public void makeSameAs(UnconditionalValueDerefSet source) {		// Copy value numbers		valueNumberSet.clear();		valueNumberSet.or(source.valueNumberSet);		// Copy dereference locations for each value number		derefLocationSetMap.clear();		for (Map.Entry<ValueNumber, BitSet> entry : derefLocationSetMap.entrySet()) {			BitSet derefLocationSet = new BitSet();			derefLocationSet.or(entry.getValue());			derefLocationSetMap.put(entry.getKey(), derefLocationSet);		}	}