check if a tree is subtree of another tree