Merge "ART: Fix dominance for irreducible loops" into nyc-dev