if (tmpFact != null) { fact = tmpFact;
if (tmpFact != null) { fact = tmpFact; }
	public void meetInto(			ConstantFrame fact,			Edge edge,			ConstantFrame result) throws DataflowAnalysisException {				ConstantFrame tmpFact = null;				if (edge.isExceptionEdge()) {			tmpFact = modifyFrame(fact, tmpFact);			tmpFact.clearStack();			tmpFact.pushValue(Constant.NOT_CONSTANT);		}				if (tmpFact != null) {			fact = tmpFact;		}				mergeInto(fact, result);	}