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