Implement trampoline for mutually recursive functions

The implementation is done on Javascript Ast.
It relies on group_closure.