More precisely, we want to retrieve efficiently treelets containing at least one leaf of the query tree.
an alternative computation strategy would only explore treelets containing at least one terminal node.