[SBV] tests/T37.hs:9:1 Proving "f", using Z3.
[Z3] Falsifiable. Counter-example:
  a =   2 :: Int64
  b = 2.3 :: Double
[SBV] Failed. (Use option 'IgnoreFailure' to continue.)