packages feed

sbv-14.4: 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))))