sbv-14.1: SBVTestSuite/GoldFiles/tpCache_fooFail.gold

Lemma: foo
*** Failed to prove foo.
Falsifiable. Counter-example:
  x = 0 :: Integer