Generic Graph Traversal that dives deep into branches before backtracking. Foundational for cycle detection and topological sort.