handleNormalInstruction(obj);
if (IsNullValueAnalysis.UNKNOWN_VALUES_ARE_NSP) {   IsNullValueFrame frame = getFrame();  int numWordsConsumed = getNumWordsConsumed(obj); int numWordsProduced = getNumWordsProduced(obj);  try { while (numWordsConsumed-- > 0) frame.popValue(); } catch (DataflowAnalysisException e) { throw new AnalysisException("Stack underflow", e); }  if (numWordsProduced > 0) { Type type = obj.getType(getCPG()); if (type instanceof ReferenceType) { frame.pushValue(IsNullValue.nullOnSomePathValue()); } else { while (numWordsProduced-- > 0) { frame.pushValue(IsNullValue.nonReportingNotNullValue()); } } } } else {  handleNormalInstruction(obj); }
	private void handleInvoke(InvokeInstruction obj) {		handleNormalInstruction(obj);		if (!NO_ASSERT_HACK) {			if (assertionMethods.isAssertionCall(obj)) {				IsNullValueFrame frame = getFrame();				for (int i = 0; i < frame.getNumSlots(); ++i) {					IsNullValue value = frame.getValue(i);					if (value.isDefinitelyNull() || value.isNullOnSomePath()) {						frame.setValue(i, IsNullValue.nonReportingNotNullValue());					}				}			}		}	}