let (rec) insertion without Effects, Lights or Magic

Oleg Kiselyov, Jeremy Yallop

Let insertion in program generation is producing code with definitions (let-statements). Although definitions precede uses in generated code, during code generation `uses' come fir…