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