if (UnconditionalValueDerefAnalysis.DEBUG) { System.out.println("\n\nUnconditionalValueDerefAnalysis analysis for " + method.getName()); TreeSet<Location> tree = new TreeSet<Location>();  for(Iterator<Location> locs = cfg.locationIterator(); locs.hasNext(); ) { Location loc = locs.next(); tree.add(loc); } for(Location loc : tree) { System.out.println("Pre: " + dataflow.getFactAfterLocation(loc)); System.out.println("Location: " + loc); System.out.println("Post: " + dataflow.getFactAtLocation(loc));    } }
			protected UnconditionalValueDerefDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {								CFG cfg = getCFG(method);								ValueNumberDataflow vnd = getValueNumberDataflow(method);								UnconditionalValueDerefAnalysis analysis = new UnconditionalValueDerefAnalysis(						getReverseDepthFirstSearch(method),						getDepthFirstSearch(method),						cfg,						getMethodGen(method),						vnd,						getAssertionMethods()						);								// XXX: hack to clear derefs on not-null branches				analysis.clearDerefsOnNonNullBranches(getIsNullValueDataflow(method));								UnconditionalValueDerefDataflow dataflow =					new UnconditionalValueDerefDataflow(getCFG(method), analysis);				dataflow.execute();								return dataflow;			}