DFS components and reachability