fix a bug of addAtLeast

The call of 'assign' can fail after the call of 'deduce'.