small update
is bi-tree-A the subtree of the bi-tree-B
mirror bi-tree