sbv-14.4: SBVTestSuite/GoldFiles/lambda35.gold

(lambda ((l1_s0 (_ BitVec 8)) (l1_s1 (_ BitVec 8)))
  (bvadd l1_s0 l1_s1))