appappplus0yyappappplusappsxyappsappappplusxyappappappcurryfxyappappfxyaddappcurryplusapp2plus000s0curry0add0FULL./TRS/higher-order/AotoYam/005.trs