mod: quit computation if no changes

The computation will now quit if during a cycle none of the offerings
restrict the variables.