mergeConsxxsNilConsxxsmergeConsx'xs'Consxxsmerge[Ite]<=x'xConsx'xs'ConsxxsmergeNilysysgoalxsysmergexsys<=SxSy<=xy<=0yTrue<=Sx0Falsemerge[Ite]Falsexs'ConsxxsConsxmergexs'xsmerge[Ite]TrueConsxxsysConsxmergexsys<=2merge[Ite]3True0S1Cons2Nil000merge2goal2False0INNERMOSTFrederiksen_Glenstrup/mergelists.tml.trs