; Changes:
  * removed : 0
  * added : 1
  * swaps : 0
; * negated predicates: 0
; * swapped branches: 0
  * calls to i d fun : 1
((lambda (f1) (f1 #t) (f1 #f))
   (lambda (x1)
      ((lambda (f2) (f2 #t) (f2 #f))
         (lambda (x2)
            (<change>
               ()
               (display x1))
            ((lambda (f3) (f3 #t) (f3 #f))
               (lambda (x3)
                  ((lambda (f4) (f4 #t) (f4 #f))
                     (lambda (x4)
                        ((lambda (f5) (f5 #t) (f5 #f))
                           (lambda (x5)
                              ((lambda (f6) (f6 #t) (f6 #f))
                                 (lambda (x6)
                                    ((lambda (f7) (f7 #t) (f7 #f))
                                       (lambda (x7)
                                          ((lambda (f8) (f8 #t) (f8 #f))
                                             (lambda (x8)
                                                ((lambda (f9) (f9 #t) (f9 #f))
                                                   (lambda (x9)
                                                      ((lambda (f10) (f10 #t) (f10 #f))
                                                         (lambda (x10)
                                                            ((lambda (f11) (f11 #t) (f11 #f))
                                                               (lambda (x11)
                                                                  ((lambda (f12) (f12 #t) (f12 #f))
                                                                     (lambda (x12)
                                                                        ((lambda (f13) (f13 #t) (f13 #f))
                                                                           (lambda (x13)
                                                                              (<change>
                                                                                 ((lambda (f14) (f14 #t) (f14 #f))
                                                                                    (lambda (x14)
                                                                                       ((lambda (f15) (f15 #t) (f15 #f))
                                                                                          (lambda (x15)
                                                                                             ((lambda (f16) (f16 #t) (f16 #f))
                                                                                                (lambda (x16)
                                                                                                   ((lambda (z) (z x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16))
                                                                                                      (lambda (y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16)
                                                                                                         y1))))))))
                                                                                 ((lambda (x) x)
                                                                                    ((lambda (f14) (f14 #t) (f14 #f))
                                                                                       (lambda (x14)
                                                                                          ((lambda (f15) (f15 #t) (f15 #f))
                                                                                             (lambda (x15)
                                                                                                ((lambda (f16) (f16 #t) (f16 #f))
                                                                                                   (lambda (x16)
                                                                                                      ((lambda (z) (z x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16))
                                                                                                         (lambda (y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16)
                                                                                                            y1))))))))))))))))))))))))))))))))))))
 Changes:
 * negated predicates: 0
 * swapped branches: 0
  * removed : 0
  * added : 1
  * swaps : 0
  * calls to i d fun : 1
((lambda (f1) (f1 #t) (f1 #f))
   (lambda (x1)
      ((lambda (f2) (f2 #t) (f2 #f))
         (lambda (x2)
            (<change>
               ()
               (display x1))
            ((lambda (f3) (f3 #t) (f3 #f))
               (lambda (x3)
                  ((lambda (f4) (f4 #t) (f4 #f))
                     (lambda (x4)
                        ((lambda (f5) (f5 #t) (f5 #f))
                           (lambda (x5)
                              ((lambda (f6) (f6 #t) (f6 #f))
                                 (lambda (x6)
                                    ((lambda (f7) (f7 #t) (f7 #f))
                                       (lambda (x7)
                                          ((lambda (f8) (f8 #t) (f8 #f))
                                             (lambda (x8)
                                                ((lambda (f9) (f9 #t) (f9 #f))
                                                   (lambda (x9)
                                                      ((lambda (f10) (f10 #t) (f10 #f))
                                                         (lambda (x10)
                                                            ((lambda (f11) (f11 #t) (f11 #f))
                                                               (lambda (x11)
                                                                  ((lambda (f12) (f12 #t) (f12 #f))
                                                                     (lambda (x12)
                                                                        ((lambda (f13) (f13 #t) (f13 #f))
                                                                           (lambda (x13)
                                                                              (<change>
                                                                                 ((lambda (f14) (f14 #t) (f14 #f))
                                                                                    (lambda (x14)
                                                                                       ((lambda (f15) (f15 #t) (f15 #f))
                                                                                          (lambda (x15)
                                                                                             ((lambda (f16) (f16 #t) (f16 #f))
                                                                                                (lambda (x16)
                                                                                                   ((lambda (z) (z x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16))
                                                                                                      (lambda (y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16)
                                                                                                         y1))))))))
                                                                                 ((lambda (x) x)
                                                                                    ((lambda (f14) (f14 #t) (f14 #f))
                                                                                       (lambda (x14)
                                                                                          ((lambda (f15) (f15 #t) (f15 #f))
                                                                                             (lambda (x15)
                                                                                                ((lambda (f16) (f16 #t) (f16 #f))
                                                                                                   (lambda (x16)
                                                                                                      ((lambda (z) (z x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16))
                                                                                                         (lambda (y1 y2 y3 y4 y5 y6 y7 y8 y9 y10 y11 y12 y13 y14 y15 y16)
                                                                                                            y1))))))))))))))))))))))))))))))))))))