CHECK -> CHECK-DAG