mapFnilnilmapZconsUVconsZUmapZVle0WtruelesP0falselesX1sY1leX1Y1maxlistU1consV1W1ifleU1V1maxlistV1W1maxlistP1nilP1heightnodeX2Y2smaxlist0mapheightY2FddZddUdVcWdPdX1dY1dU1dV1dW1cP1dX2bY2c0dconsdccfalseaheightddifaddleddamapddccmaxlistdcdnilcnodebcdsddtrueaFULLbenchmarks/applicative/Applicative_05__TreeHeight.atrs