ValueNumberAnalysis analysis = new ValueNumberAnalysis(methodGen, dfs);
ValueNumberAnalysis analysis = new ValueNumberAnalysis(methodGen, dfs, lookupFailureCallback);
	public ValueNumberDataflow getValueNumberDataflow(Method method) throws DataflowAnalysisException, CFGBuilderException {		ValueNumberDataflow vnaDataflow = vnaDataflowMap.get(method);		if (vnaDataflow == null) {			MethodGen methodGen = getMethodGen(method);			DepthFirstSearch dfs = getDepthFirstSearch(method);			ValueNumberAnalysis analysis = new ValueNumberAnalysis(methodGen, dfs);			CFG cfg = getCFG(method);			vnaDataflow = new ValueNumberDataflow(cfg, analysis);			vnaDataflow.execute();			vnaDataflowMap.put(method, vnaDataflow);		}		return vnaDataflow;	}