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