protected PostDominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {
protected DominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {
		        protected PostDominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        CFG cfg = getCFG(method);			        ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(method);			        PostDominatorsAnalysis analysis = new PostDominatorsAnalysis(cfg, rdfs, true);			        Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow =			                new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg, analysis);			        dataflow.execute();			        return analysis;		        }