The resulting code is below. Tested on Pharo13, not on Pharo14. When extracting `[k < j]` from method, this is the result: <img width="697" height="502" alt="Image" src="https://github.com/user-attachments/assets/4241f5ff-c2bc-46e1-b9e6-255ffe447c1d" /> <img width="697" height="502" alt="Image" src="https://github.com/user-attachments/assets/034c7d16-fdbe-425f-b403-8b85b9df3552" />