Hello, On Mon 27 Mar 2023 at 08:38AM -03, David Bremner wrote: > That was indeed the problem. It's a bit surprising to me that this is > not a failed-change of some kind, since the property really fails to > hold. Yes, that would be an improvement, and could just be a part of the LOOP. -- Sean Whitton