ap ap f x x ap ap x ap f x ap ap cons x nil ap ap ap foldr g h nil h ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs ap 2 f 0 cons 0 nil 0 foldr 0 FULL ./TRS/higher-order/AProVE_HO/nonTermF.trs