if (DEBUG) System.out.println("   result ==> " + result);
if (DEBUG) System.out.println("   result ==> " + Arrays.toString(result));
	public ValueNumber[] lookupOutputValues(Entry entry) {		if (DEBUG) System.out.println("VN cache lookup: " + entry);		ValueNumber[] result = entryToOutputMap.get(entry);		if (DEBUG) System.out.println("   result ==> " + result);		return result;	}