} while (comp.compare(b2, bindings) == 0);
for (final Bindings zb1 : bindings1) {
for (final Bindings zb2 : bindings2) {
final Bindings bnew = zb1.clone();
bnew.addAll(zb2);
bnew.addAllTriples(zb2);
bnew.addAllPresortingNumbers(zb2);
result.add(bnew);
}
}
} else if (compare < 0) {