if (ValueNumberAnalysis.DEBUG) {
if (DUMP_DATAFLOW_ANALYSIS) {
		        protected ValueNumberDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        if (methodGen == null) throw new MethodUnprofitableException(getJavaClass(),method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        LoadedFieldSet loadedFieldSet = getLoadedFieldSet(method);			        ValueNumberAnalysis analysis = new ValueNumberAnalysis(methodGen, dfs, loadedFieldSet,							getLookupFailureCallback());					analysis.setMergeTree(new MergeTree(analysis.getFactory()));			        CFG cfg = getCFG(method);			        			        ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, analysis);			        vnaDataflow.execute();			        if (ValueNumberAnalysis.DEBUG) {			        	TreeSet<Location> tree = new TreeSet<Location>();			    		for(Iterator<Location> locs = cfg.locationIterator(); locs.hasNext(); ) {			    			Location loc = locs.next();			    			tree.add(loc);			    		}			        	System.out.println("\n\nValue number analysis for " + method.getName() + " {");			        	for(Location loc : tree) {			        		System.out.println("\nBefore: " + vnaDataflow.getFactAtLocation(loc));			        		System.out.println("Location: " + loc);			        		System.out.println("After: " + vnaDataflow.getFactAfterLocation(loc));				        	}			        	System.out.println("}\n");			        }			        return vnaDataflow;		        }