frame.addAvailableLoad(new AvailableLoad(reference, instanceField), loadedValue);
frame.addAvailableLoad(new AvailableLoad(reference, instanceField), storedValue);
	private void storeInstanceField(InstanceField instanceField, Instruction obj) {		ValueNumberFrame frame = getFrame();		int numWordsConsumed = getNumWordsConsumed(obj);		ValueNumber[] inputValueList = popInputValues(numWordsConsumed);		ValueNumber reference = inputValueList[0];		ValueNumber[] loadedValue = new ValueNumber[inputValueList.length - 1];		System.arraycopy(inputValueList, 1, loadedValue, 0, inputValueList.length - 1);		// 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), loadedValue);	}