Adding additional logging to assertion
Clarifying cycle detection alg
Adding a few tests