declare fun {AppendNEL NEL1 NEL2} case NEL1 of sing(E) then cons(E NEL2) [] cons(H T) then cons(H {AppendNEL T NEL2}) end end