triska opened this issue 8 years ago · 1 comments
Witness:
?- 2 #= -1 ^Z.
Fixed in most recent version.