aux g visited nvisited aristas = aux g (v:visited) (delete v nvisited) aristas'