svb.removeAll(this.getVariableSet());
// let minimum variable of both bindings decide which bindings is
// smaller!
Variable min1 = null;
for (final Variable v : sv) {
if (min1 == null || min1.compareTo(v) > 0) {
min1 = v;
}
}
Variable min2 = null;
for (final Variable v : svb) {