Missing Loop Refinement


This is a companion discussion topic for the original entry at https://kni.me/w/qfQlCaoSk_6HHwob