Update the CHECK-NOT clause.