sbv-10.0: SBVTestSuite/GoldFiles/lambda03.gold

(lambda ((l1_s0 Int) (l1_s1 Int))
  (let ((l1_s2 2))
  (let ((l1_s3 (* l1_s1 l1_s2)))
  (let ((l1_s4 (+ l1_s0 l1_s3)))
  l1_s4))))