Checking the input of shrink() is inside the domain