T05.hs.golden

[SBV] tests/T05.hs:9:1 Proving "f", using CVC4 and Yices.
[Yices] Falsifiable. Counter-example:
  x =  0 :: Integer
  y = -1 :: Integer