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