add cycle detection
RootedTreeCheck
add RootedTree
add LowestCommonAncestor