Finished code for computing dominance of basic blocks.