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