if (RLE_DEBUG) System.out.println("[making store of " + staticField + " available]");  if (VERIFY_INTEGRITY) { checkConsumedAndProducedValues(obj, inputValueList, pushStoredValue ? inputValueList : new ValueNumber[0]); }
	private void storeStaticField(StaticField staticField, Instruction obj, boolean pushStoredValue) {		ValueNumberFrame frame = getFrame();		AvailableLoad availableLoad = new AvailableLoad(staticField);		int numWordsConsumed = getNumWordsConsumed(obj);		ValueNumber[] inputValueList = popInputValues(numWordsConsumed);		if (pushStoredValue)			pushOutputValues(inputValueList);		// Kill loads of this field		frame.killLoadsOfField(staticField);		// Make load available		frame.addAvailableLoad(availableLoad, inputValueList);	}