Thanks Phil for the proposal and for going as far as providing a patch.

However, after thinking a lot about it, I came to the conclusion that it is not a good idea to include it as is in the distribution, because it would be misleading. You want a notion of "hit", meaning "something is present in the data"; but what you actually get is "at some point, a domain and a subtree were compared", which is different. For example in