Use CHECK-LABEL where appropriate in this test.