app app plus 0 y y app app plus app s x y app s app app plus x y app app app curry f x y app app f x y add app curry plus app 2 plus 0 0 0 s 0 curry 0 add 0 FULL ./TRS/higher-order/AotoYam/005.trs