return new BitSet();
return new HashSet<Location>();
	private BitSet getDerefLocationSet(int vn) {		for (Map.Entry<ValueNumber, BitSet> entry : derefLocationSetMap.entrySet()) {			if (entry.getKey().getNumber() == vn) {				return entry.getValue();			}		}		return new BitSet();	}