Example of a case where the function definition propagates to another let binding and escapes
Added support for tuples