<!-- This way, we use a different variable for each index clause, and -->
<!-- do not get into trouble if we have an AND between two of the same kind -->
<db path="smallindex">
<!-- This way, we use a different variable for each index clause, and -->
<!-- do not get into trouble if we have an AND between two of the same kind -->
<db path="smallindex">