Checking that Generator\Integer:shrink/1 argument belongs to the domain
before shrink it