appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusxyappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxyappsyapp2map0nil0cons0minus000s0div0FULL./TRS/higher-order/AProVE_HO/mapDivMinus.trs