Implement a better shrinker