result.mergeWith(fact, valueNumberFactory);
result.mergeWith(fact, vnaDataflow.getAnalysis().getFactory());
	public void meetInto(UnconditionalValueDerefSet fact, Edge edge,			UnconditionalValueDerefSet result) throws DataflowAnalysisException {				// Ignore implicit exceptions		if (AnalysisContext.currentAnalysisContext().getBoolProperty(AnalysisFeatures.ACCURATE_EXCEPTIONS)				&& edge.isExceptionEdge()				&& !edge.isFlagSet(EdgeTypes.EXPLICIT_EXCEPTIONS_FLAG)) {			return;		}		if (result.isTop() || fact.isBottom()) {			copy(fact, result);		} else if (result.isBottom() || fact.isTop()) {			// No change in result fact		} else {			result.mergeWith(fact, valueNumberFactory);		}	}