if (newValueNumbersForField != null) for(ValueNumber v : newValueNumbersForField) getFrame().setKnownValue(v, nullValueStored);
if (newValueNumbersForField != null && trackValueNumbers) for(ValueNumber v : newValueNumbersForField) getFrame().setKnownValue(v, nullValueStored);
	public void visitPUTFIELD(PUTFIELD obj) {		if (getNumWordsConsumed(obj) != 2) {			super.visitPUTFIELD(obj);			return;		}				IsNullValue nullValueStored = null;		try {			nullValueStored = getFrame().getTopValue();		} catch (DataflowAnalysisException e1) {			AnalysisContext.logError("Oops", e1);		}		super.visitPUTFIELD(obj);		InstanceField field = (InstanceField) XFactory.createXField(obj, cpg);		if (nullValueStored != null)			try {			ValueNumberFrame vnaFrameBefore = vnaDataflow.getFactAtLocation(getLocation());			ValueNumber refValue = vnaFrameBefore.getStackValue(1);			AvailableLoad load = new AvailableLoad(refValue, field);			ValueNumberFrame vnaFrameAfter = vnaDataflow.getFactAfterLocation(getLocation());			ValueNumber [] newValueNumbersForField = vnaFrameAfter.getAvailableLoad(load);			if (newValueNumbersForField != null) for(ValueNumber v : newValueNumbersForField)				getFrame().setKnownValue(v, nullValueStored);					} catch (DataflowAnalysisException e) {			AnalysisContext.logError("Oops", e);		}	}