appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappappcompfgxappfappgxapptwicefappappcompffapp2map0nil0cons0comp0twice0FULL./TRS/higher-order/AotoYam/026.trs