Vereinfachungen

um geforderte Syntax (ExpCPS) zu erreichen:

• implicit-let

  (app (abs (i_1 .. i_n) b) a_1 .. a_n)
  ==>
  (let ((i_1 a_1)) ( .. (let ((i_n a_n)) b)..))
  

Umbenennungen von Variablen entfernen:

• copy-prop

  (let ((i i')) b) ==> b [i:=i']
  

  aber kein allgemeines Inlining