appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxnilxappheightappappnodexxsappsappappmaxlist0appappmapheightxsapp2map0nil0cons0le000true0s0false0maxlist0if0height0node0FULL./TRS/higher-order/Bird/TreeHeight.trs