Add proper CHECK-NOT clause, making diagnostics more obvious to FileCheck