final Instance trivialInstance = padInstance(toInstance(translBounds), bounds);
final Solution sol = Solution.triviallySatisfiable(stats, trivialInstance);
final List<Formula> changes = new LinkedList<Formula>();
for(Map.Entry<Relation, TupleSet> entry: trivialInstance.relationTuples().entrySet()) {
final Relation r = entry.getKey();
if (!translBounds.relations().contains(r)) {
translBounds.bound(r, bounds.lowerBound(r), bounds.upperBound(r));
}