This is where the loop-transformation is done. This function translates the body of a recursive function into a looping function.
build_transformed_function(fun_expr, info)
The original function body.
Information passed along the transformations.
The body of the transformed function.