appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsapp2map0nil0cons0FULL./TRS/higher-order/AotoYam/024.trs