this.startFactMap = new HashMap<BasicBlock, BlockType>(); this.resultFactMap = new HashMap<BasicBlock, BlockType>();
	public BlockTypeAnalysis(DepthFirstSearch dfs) {		this.dfs = dfs;		this.startFactMap = new HashMap<BasicBlock, BlockType>();		this.resultFactMap = new HashMap<BasicBlock, BlockType>();	}