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