getDepthFirstSearch(method),
			protected UnconditionalValueDerefDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {								CFG cfg = getCFG(method);								ValueNumberDataflow vnd = getValueNumberDataflow(method);								UnconditionalValueDerefAnalysis analysis = new UnconditionalValueDerefAnalysis(						getReverseDepthFirstSearch(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;			}