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