appappplus0yyappappplusappsxyappsappappplusxyappincxsappappmapappplusapps0xsappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsapp2plus000s0inc0map0nil0cons0FULL./TRS/higher-order/AotoYam/027.trs