Removed suboptimal algorithm for computing dominance.