Merge "ART: Fixed subsequent CHECK-NOTs Checker bug"