the subtree part of the subtree test