appappf0nappapphdappappmapfappappcons0nilnappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsapp200hd0map0cons0nil0FULL./TRS/higher-order/AProVE_HO/TypeEx3.trs