hasCycle() update WIP