implement compute dominators algorithm