In the description of lset= the document states:
The = procedure's first argument is an element of listi; its second is an element of listi+1.
But the implementation essentially boils down to this:
(and (%lset2<= = s1 s2) (%lset2<= = s2 s1))
This flips the arguments but not the predicate. This can be fixed by flipping the predicate, or removing the statement from the document.
Given that I’ve been using this implementation for many years, and this is the first time I noticed the problem, it might be simpler to remove the statement.