There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
I see many terms of the form:
(= (select (store k!82 f23 k!98) index!83) (select k!82 index!83))
Logically, this could be simplified to:
(= (select k!82 f23) k!98)
I have no idea if such a transformation would make a meaningful difference, but it might be something to consider.