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