if (pushStoredValue) pushOutputValues(inputValueList);
	private void storeStaticField(StaticField staticField, Instruction obj) {		ValueNumberFrame frame = getFrame();		AvailableLoad availableLoad = new AvailableLoad(staticField);		int numWordsConsumed = getNumWordsConsumed(obj);		ValueNumber[] inputValueList = popInputValues(numWordsConsumed);		// Kill loads of this field		frame.killLoadsOfField(staticField);		// Make load available		frame.addAvailableLoad(availableLoad, inputValueList);	}