this.ignoreExceptionEdges = ignoreExceptionEdges; this.startFactMap = new IdentityHashMap<BasicBlock, BitSet>(); this.resultFactMap = new IdentityHashMap<BasicBlock, BitSet>();
	public DominatorsAnalysis(CFG cfg, DepthFirstSearch dfs, boolean ignoreExceptionEdges) {		this.cfg = cfg;		this.dfs = dfs;		this.ignoreExceptionEdges = ignoreExceptionEdges;		this.startFactMap = new IdentityHashMap<BasicBlock, BitSet>();		this.resultFactMap = new IdentityHashMap<BasicBlock, BitSet>();	}