CHECK -> CHECK-NOT