build_transformed_function: Construct the expression for a transformed function body.
Description
This is where the loop-transformation is done. This function translates
the body of a recursive function into a looping function.
Usage
build_transformed_function(fun, fun_name)
Arguments
fun_name
The name of the function we are transforming
Value
The body of the transformed function.