재귀 CTE는 anchor에서 다음 edge가 없을 때까지 확장한다

visited와 depth가 비정상 graph의 종료를 보장한다.