appappappfoldfnilxxappappappfoldfappappconshtxappappappfoldftappappfxhappsumlappappappfoldaddl0appappappfoldmull1appprodlapp2fold0nil0cons0sum0add000mul010prod0FULL./TRS/higher-order/Lifantsev/Ex6Folding.trs