ap f x x ap ap ap g x y ap s z ap ap ap g x y ap ap x y 0 ap 2 f 0 g 0 s 0 0 0 FULL ./TRS/higher-order/AProVE_HO/termMonTypes.trs