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);
used = curr.end;
} else { // Start element, not pattern
used = curr.end;