circular replacability pasted by Bunny351 on Mon Aug 26 12:35:27 2019

(lambda (k118)
  (let ((k119 (##core#lambda
                (r120)
                (let ((t13 r120))
                  (let ((k122 (##core#lambda
                                (r123)
                                (let ((t14 r123))
                                  (let ((k125 (##core#lambda
                                                (r126)
                                                (let ((t15 r126))
                                                  (let ((x10 (##core#undefined)))
                                                    (let ((x911 x10))
                                                      (let ((t128 (set! x10 #f x911)))
                                                        (let ((t12 t128))
                                                          (let ((t16 1))
                                                            (let ((k129 (##core#lambda (r130) (k118 r130))))
                                                              (let ((k132 (##core#lambda (r133) (r133 k129))))
                                                                (chicken.base#implicit-exit-handler k132))))))))))))
                                    (##core#callunit expand k125))))))
                    (##core#callunit eval k122))))))
    (##core#callunit library k119)))

analysis added by Bunny351 on Mon Aug 26 12:36:10 2019

f_131   contained-in=f_127
r130    home=f_127      refs=1
f_121   contained-in=f_117      contains=(f_124)
t128    home=f_127      rpg     refs=1  val=(set! x10 #f)
x10     home=f_127      rpg     replacable=x911 set     und     refs=1  val=(##core#variable x911)      pval=(##core#variable x911)
r133    home=f_127      refs=1  css=1
f_134   contained-in=f_127
f_124   contained-in=f_121      contains=(f_127)
chicken.base#implicit-exit-handler      glo     refs=1  css=1
r120    home=f_117      rpg     refs=1
f_117   contains=(f_121)
k132    home=f_127      inl     refs=1  val=(##core#lambda f_134 #f (r133) 5)
k129    home=f_127      replacable=k118 inl     cpt     refs=1  val=(##core#lambda f_131 #f (r130) 5)
r123    home=f_121      rpg     refs=1
x911    home=f_127      replacable=x10  rpg     refs=1  val=(##core#variable x10)
f_127   contained-in=f_124      contains=(f_134 f_131)
k125    home=f_124      inl     refs=1  val=(##core#lambda f_127 #f (r126) 34)
t12     home=f_127      replacable=t128 rem     val=(##core#variable t128)
r126    home=f_124      rpg     refs=1
t14     home=f_124      replacable=r123 rem     val=(##core#variable r123)
k122    home=f_121      inl     refs=1  val=(##core#lambda f_124 #f (r123) 42)
k118    rpg     cpt     refs=1  css=1
t13     home=f_121      replacable=r120 rem     val=(##core#variable r120)
k119    home=f_117      inl     refs=1  val=(##core#lambda f_121 #f (r120) 50)
t16     home=f_127      rem     col     val=(quote 1)
t15     home=f_127      replacable=r126 rem     val=(##core#variable r126)