if (REDUNDANT_LOAD_ELIMINATION)
	public Collection<ValueNumber> valueNumbersForLoads() {		HashSet<ValueNumber> result = new HashSet<ValueNumber>();		for(Map.Entry<AvailableLoad, ValueNumber[]> e : getAvailableLoadMap().entrySet()) {			if (e.getValue() != null)				for(ValueNumber v2 : e.getValue())					result.add(v2);		}		return result;	}