appappappcomposefgxappgappfxappreverselappappreverse2lnilappappreverse2nilllappappreverse2appappconsxxslappappreverse2xsappappconsxlapphdappappconsxxsxapptlappappconsxxsxslastappappcomposehdreverseinitappappcomposereverseappappcomposetlreverseapp2compose0reverse0reverse20nil0cons0hd0tl0last0init0FULL./TRS/higher-order/AProVE_HO/ReverseLastInit.trs