generator DAG, untested