Ensured lowerLimit < upperLimit and that it is not possible to go out of
the domain during the shrink.