Added RecursionTransformer. Implemented adding arguments and default values to the function's signature.