Implemented fast algorithm for computing dominance.