isEmptyemptytrueisEmptynodelxrfalseleftemptyemptyleftnodelxrlrightemptyemptyrightnodelxrrelemnodelxrxappendnilxconsxnilappendconsyysxconsyappendysxlistifynxsifisEmptynisEmptyleftnrightnnodeleftleftnelemleftnnoderightleftnelemnrightnxsappendxsniftruebnmxsysxsiffalsefalsenmxsyslistifymxsiffalsetruenmxsyslistifynystoListnlistifynnilisEmpty1empty0true0node3false0left1right1elem1append2nil0cons2y0listify2if6toList1FULL./TRS/secret06/aprove/toList.trs