appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusapppappsxapppappsyapppappsxxappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxyappsyapp2map0nil0cons0minus000s0p0div0FULL./TRS/higher-order/AProVE_HO/mapDivMinusHard.trs