e385484994
Also, don't bother ensuring that the upper bound has the same tree size as the lower bound; the new index computation can handle it when some subtrees of the lower bound are replaced by star projections in the upper bound.