am b874043d: am f9e0e191: Merge "ART: Fixed subsequent CHECK-NOTs Checker bug"

* commit 'b874043d0513d06e68ea98a3190b3054738c3995':
  ART: Fixed subsequent CHECK-NOTs Checker bug