a non-null tree is not subtree of an empty tree