determine whether a tree is a subtree of another tree