app app iterate f x app app cons x app app iterate f app f x app 2 iterate 0 cons 0 FULL ./TRS/higher-order/AotoYam/001.trs