sbv-14.4: SBVTestSuite/GoldFiles/tpCache_statsMiss.gold

Lemma: addZero
  Step: 1           Q.E.D.
  Result:           Q.E.D.