Falta método isArvore - haCiclo.
Verificação de ciclos está retornando valor inválido.
Algoritmo pego no site do professor.