Simplify the result of the example manual CPS-transformation