result.set(basicBlock.getId());
if (!isTop(result)) {  result.set(basicBlock.getId()); }
	public void transfer(BasicBlock basicBlock, InstructionHandle end, BitSet start, BitSet result) throws DataflowAnalysisException {		// Start with intersection of dominators of predecessors		copy(start, result);		// Every block dominates itself		result.set(basicBlock.getId());	}