app app apply f x app f x app 2 apply 0 FULL ./TRS/higher-order/AotoYam/025.trs