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