new PostDominatorsAnalysis(cfg, rdfs, SystemProperties.getBoolean("dominators.ignoreexceptionedges"));
new PostDominatorsAnalysis(cfg, rdfs, classContext.getDepthFirstSearch(method), SystemProperties.getBoolean("dominators.ignoreexceptionedges"));
			public Dataflow<BitSet, PostDominatorsAnalysis> createDataflow(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {				CFG cfg = classContext.getCFG(method);				ReverseDepthFirstSearch rdfs = classContext.getReverseDepthFirstSearch(method);								PostDominatorsAnalysis analysis =					new PostDominatorsAnalysis(cfg, rdfs, SystemProperties.getBoolean("dominators.ignoreexceptionedges"));							Dataflow<BitSet, PostDominatorsAnalysis> dataflow =					new Dataflow<BitSet, PostDominatorsAnalysis>(cfg, analysis);								dataflow.execute();								return dataflow;			}