Tiger in Stratego -- Compilation by Program Transformation
After register allocation? rule Finish puts the finishing touches to the body of a procedure
by generating code for allocating the stack frame on entering the function and for deleting when leaving the function.