disco-0.1.0.0: test/solver-issue112/input

:load test/solver-issue112/diag-iso-bad.disco
:type (\x.x^(-2)) : Z -> Z