compute dominators