Abiding hard-core shrink from dropped nearly shrink from beneficial less

19 July 2023