emptyniltrueemptyconsxlfalseheadconsxlxtailnilniltailconsxllrevnilnilrevconsxlconsrev1xlrev2xllastxlifemptylxliftruexlxiffalsexllastheadltaillrev2xnilnilrev2xconsylrevconsxrev2ylempty1nil0true0cons2false0head1tail1rev1rev12rev22last2if3FULL./TRS/SchneiderKamp/trs/thiemann08.trs