apapfxxapapxapfxapapconsxnilapapapfoldrghnilhapapapfoldrghapapconsxxsapapgxapapapfoldrghxsap2f0cons0nil0foldr0FULL./TRS/higher-order/AProVE_HO/nonTermF.trs