sbv-14.4: SBVTestSuite/GoldFiles/lambda02.gold
(lambda ((l1_s0 Int))
(let ((l1_s1 1))
(let ((l1_s2 (+ l1_s0 l1_s1)))
l1_s2)))
(lambda ((l1_s0 Int))
(let ((l1_s1 1))
(let ((l1_s2 (+ l1_s0 l1_s1)))
l1_s2)))