public PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, boolean ignoreExceptionEdges) { super(cfg, ignoreExceptionEdges);
public PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, EdgeChooser edgeChooser) { super(cfg, edgeChooser);
	public PostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs,	                              boolean ignoreExceptionEdges) {		super(cfg, ignoreExceptionEdges);		this.rdfs = rdfs;	}