Use the awesome CHECK-DAG!