Proposed refactorings for shrinking algorithm

Extraction of some duplication to pursue readability.
could we call it `$onGoodShrink`? Calling them in different ways and using success and failure it’s kind of confusing