if (RLE_DEBUG) System.out.println("[making store of " + instanceField + " available]");  if (VERIFY_INTEGRITY) {  checkConsumedAndProducedValues(obj, inputValueList, pushStoredValue ? storedValue : new ValueNumber[0]); }
	private void storeInstanceField(InstanceField instanceField, Instruction obj, boolean pushStoredValue) {		ValueNumberFrame frame = getFrame();		int numWordsConsumed = getNumWordsConsumed(obj);		ValueNumber[] inputValueList = popInputValues(numWordsConsumed);		ValueNumber reference = inputValueList[0];		ValueNumber[] storedValue = new ValueNumber[inputValueList.length - 1];		System.arraycopy(inputValueList, 1, storedValue, 0, inputValueList.length - 1);		if (pushStoredValue)			pushOutputValues(storedValue);		// Kill all previous loads of the same field,		// in case there is aliasing we don't know about		frame.killLoadsOfField(instanceField);		// Forward substitution		frame.addAvailableLoad(new AvailableLoad(reference, instanceField), storedValue);	}