JST ImplicitDownCycleTraversal