build_transformed_function
                        Construct the expression for a transformed
                        function body.
can_loop_transform_     Tests if a function, provided by its name, can
                        be transformed.
loop_transform          Transform a function from recursive to looping.
