Huh, good that you are asking. While you could traverse the path of hashes, you couldn't verify the signature of y if it is missing its content. Perhaps including two signatures could help there? It's too late here to properly think through that though, and it certainly removes some elegance. Perhaps this simply doesn't work out at all.