Use CHECK-DAG in this test.