sbv-14.1: SBVTestSuite/GoldFiles/tpCache_recallFail.gold

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