next.Translate a return(<recursive-function-call>) expressions into
a block that assigns the parameters to local variables and call next.
translate_recursive_call(recursive_call, info)The call object where we get the parameters
Information passed along to the transformations.
The rewritten expression