check if a tree is subtree of another tree is done