+ <!-- The %v gets assigned a new variable name, like ?v0. -->
+ <!-- The %vx gets the same ?v0, with the x suffixed to it, by regular -->
+ <!-- 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 -->