sbv-14.8: SBVTestSuite/GoldFiles/tpCache_miss.gold

Lemma: fact         Q.E.D.