Phase 2 / dag, topological-order, reachability
Phase 6 / graph/dag/transitive-closure
Phase 2 / DAG, Path Enumeration