apapfxxapapxapfxapapconsxnilapapapfoldrghnilhapapapfoldrghapapconsxxsapapgxapapapfoldrghxsap2f0cons0nil0foldr0OUTERMOST./TRS/outermost/higher-order/AProVE_HO/nonTermF.trs