ap ap g x y y ap f x ap f app g x ap 2 g 0 f 0 app 2 FULL ./TRS/higher-order/AProVE_HO/TypeEx5.trs