Checagem de componentes fortemente conectados pelo algoritmo de Kosaraju