if (UnconditionalValueDerefAnalysis.DEBUG) { dumpUnconditionalValueDerefDataflow(method, cfg, vnd, inv, dataflow); }
                         protected CallListDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {				CallListAnalysis analysis = new CallListAnalysis(						getCFG(method),						getDepthFirstSearch(method),						getConstantPoolGen());								CallListDataflow dataflow = new CallListDataflow(getCFG(method), analysis);				dataflow.execute();								return dataflow;			}