Tarjan's strongly connected components