Beispiel

(@+ (@- 0 (@* b b)) (@* 4 (@* a c)))
==>
(let ((t.3 (@* b b)))
  (let ((t.2 (@- 0 t.3)))
    (let ((t.5 (@* a c)))
       (let ((t.4 (@* 4 t.5)))
         (let ((t.1 (+ t.2 t.4)))
           (app ktop.0 t.1) )))))