sbv-14.4: SBVTestSuite/GoldFiles/lambda42.gold

(lambda ((l1_s0 Int) (l1_s1 Int))
  (+ l1_s0 l1_s1))