Constant: DomainException when trying to shrink a value different from
the constant one