translBounds.bound(r, bounds.lowerBound(r), bounds.upperBound(r));
}
if (translBounds.lowerBound(r)!=translBounds.upperBound(r)) { // r may change
if (entry.getValue().isEmpty()) {
changes.add(r.some());
} else {
final Relation rmodel = Relation.nary(r.name()+"_"+trivial, r.arity());
translBounds.boundExactly(rmodel, entry.getValue());
changes.add(r.eq(rmodel).not());
}