appappiteratefxappappconsxappappiteratefappfxapp2iterate0cons0FULL./TRS/higher-order/AotoYam/001.trs