; Changes:
  * removed : 0
  * added : 1
  * swaps : 0
; * negated predicates: 0
; * swapped branches: 0
  * calls to i d fun : 1
(letrec ((h (lambda ()
              ()))
         (i 1)
         (res (begin
                (<change>
                   (h)
                   ((lambda (x) x) (h)))
                (<change>
                   ()
                   h)
                i)))
   res)
 Changes:
 * negated predicates: 0
 * swapped branches: 0
  * removed : 0
  * added : 1
  * swaps : 0
  * calls to i d fun : 1
(letrec ((h (lambda ()
              ()))
         (i 1)
         (res (begin
                (<change>
                   (h)
                   ((lambda (x) x) (h)))
                (<change>
                   ()
                   h)
                i)))
   res)