Do you have a model problem which is tricky to shrink? I implemented a stupid simple shrinker for arbitrary, and I’d love to know a specific example where it f

Do you have a model problem which is tricky to shrink? I implemented a stupid simple shrinker for arbitrary, and I’d love to know a specific example where it fails to shrink in a good way: https://github.com/matklad/arbtest/blob/0191f93846e9f7e382543bc1ca8526ed04d85795/src/lib.rs#L458 https://github.com/matklad/arbtest/blob/0191f93846e9f7e38254... I know at lest two interesting approaches for making that way smarter, but I don’t yet have a problem where my dumb approach isn’t sufficient.