Ошибка в функции.

[stas45rus]

Всем привет. Исправьте пжл ошибку. Ф-ция принимает линейный однонаправленный список отсортированный по возрастанию. В процессе работы берёт по 2 элемента из этого списка, складывает и присваивает их переменной "s". Далее вставляет полученный элемент в конец этого же списка и начинается формирование бинарного дерева. Правой ссылке вставленного элемента присваивается 2-е взятое значение из списка, а левой 1-е взятое значение из списка. Список сортируется в порядке возрастания и первые два элемента удаляются из него. Но вот по окончании выводит дерево в непонятном порядке(при выводе используется прямой обход). Может я неправильно формирую дерево??? Подскажите пжл кто знает.

Function AdditionList(P:Knot):Knot;
Var
  s:Longint;
  i:Byte;
  X,N:Knot;
Begin
  i:=0;
  While (P<>Nil) and (P^.Next<>Nil) Do
   begin
     s:=P^.Counter+P^.Next^.Counter;
     InsertList(P,s,i);
     X:=P;
     While X<>Nil Do
      begin
        N:=X;
        X:=X^.Next;
      end;
     New(N^.Right);
     N^.Right^.Counter:=P^.Next^.Counter;
     N^.Right^.Symbol:=P^.Next^.Symbol;
     N^.Right^.Bit:=1;
     N^.Right^.Next:=Nil;
     N^.Right^.Right:=P^.Next^.Right;
     N^.Right^.Left:=P^.Next^.Left;
     New(N^.Left);
     N^.Left^.Counter:=P^.Counter;
     N^.Left^.Symbol:=P^.Symbol;
     N^.Left^.Bit:=0;
     N^.Left^.Next:=Nil;
     N^.Left^.Right:=P^.Right;
     N^.Left^.Left:=P^.Left;
     SortingList(P);
     X:=P;
     N:=P^.Next;
     P:=P^.Next^.Next;
     Dispose(X);
     Dispose(N);
   end;
  AdditionList:=P;
End;