def new_shrinker(self, example, predicate): return Shrinker(self, example, predicate)
def new_shrinker(self, example, predicate=None, allow_transition=None): return Shrinker(self, example, predicate, allow_transition)