protected DominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {
protected ReturnPathDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {
		        protected DominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        CFG cfg = getCFG(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true);			        Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow =			                new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg, analysis);			        dataflow.execute();			        return analysis;		        }