ap ap ff x x ap ap x ap ff x ap ap cons x nil ap 2 ff 0 cons 0 nil 0 FULL ./TRS/higher-order/AProVE_HO/TypeEx1.trs