a small (9 vertex) DAG