appappmaptfappleafxappleafappfxappappmaptfappnodexsappnodeappappmaptlistfxsappappmaptlistfnilnilappappmaptlistfappappconsxxsappappconsappappmaptfxappappmaptlistfxsapp2mapt0leaf0node0maptlist0nil0cons0FULL./TRS/higher-order/AotoYam/022.trs