Merge "Improve ahat dominators computation."