appappappiftruexsysxsappappappiffalsexsysysappappsubx0xappappsubappsxappsyappappsubxyappappgtr0yfalseappappgtrappsx0trueappappgtrappsxappsyappappgtrxyappappdx0trueappappdappsxappsyappappappifappappgtrxyfalseappappdappsxappappsubyxapplennil0applenappappconsxxsappsapplenxsappappfilterpnilnilappappfilterpappappconsxxsappappappifapppxappappconsxappappfilterpxsappappfilterpxsapp2if0true0false0sub000s0gtr0d0len0nil0cons0filter0FULL./TRS/higher-order/Kusakari/Ex7_9.trs