appappapprecfx0xappappapprecfxappsyappappfappsyappappapprecfxyapp2rec000s0FULL./TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs