Yants subtree contains no further derivations.