LazyGraph.is_dag_full, with several starting vertices