+name+": "+used+" vs. "+curr.start);
}
SM mod = curr.matched;
if (curr.matched.isPattern()) {
Element patElt = new Element(mod.name);
int nb = curr.numBindings();
if (nb<0) patElt.addContent(curr.vals.get(0));
else for (int i=0; i<nb; i++) {
patElt.addContent(curr.bindingToXML(i));
}
result.addContent(patElt);