app app app rec f x 0 x app app app rec f x app s y app app f app s y app app app rec f x y app 2 rec 0 0 0 s 0 FULL ./TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs