packages feed

sbv-11.0: SBVTestSuite/GoldFiles/lambda02.gold

(lambda ((l1_s0 Int))
                          (let ((l1_s1 1))
                          (let ((l1_s2 (+ l1_s0 l1_s1)))
                          l1_s2)))