[SBV] tests/T00.hs:12:1 Proving "f", using Z3.
[Z3] Q.E.D.

[SBV] tests/T00.hs:16:1 Proving "g", using Z3.
[Z3] Falsifiable. Counter-example:
  _x =     0 :: Int8
  _y = False :: Bool