FIXME: dag::is_dag()