If you have a cycle (A-> B -> A) you get int...
# random
b
If you have a cycle (A-> B -> A) you get into a tiny bit of trouble. It's easy to resolve, but the benfits of your proposition (just kill the root of the tree) go out the windoe