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