Add algorithm for computing immediate dominators