Удаление вершины в бинарном дереве

[lebrosha]

Помогите найти ошибку в роцедуре удаления вершины

procedure DeleteNode(var root:PTree; n:Integer);
var
  x,y:Integer;
  T:Ptree;
 {фунцкция находит самый левый элемент в правом поддереве удаляемой вершины}
  function SearchDelete (root:PTree):PTree
  begin
    If root^.Left<>NIL Then
       root:=SearchDelete(root^.left)
    Else
      SearchDelete:=root;
  end;

begin
  If root<>NIL Then
  Begin
    val(root^.number,x,y);
    If x=n Then
    begin
      If (root^.left=NIL) and (root^.right=NIL) Then
        root:=NIL
      Else
      If (root^.left<>NIL) and (root^.right=NIL) Then
        root:=root^.left
      Else
      If (root^.left=NIL) and (root^.right<>NIL) Then
        root:=root^.right
      Else
      If (root^.left<>NIL) and (root^.right<>NIL) Then
      Begin
         T^.right:=root^.right;
         T^.left:=root^.left;
         root:SearchDelete(root^.right);
         root^.right:=T^.right;
         root^.left:=T^.left;
      end;
    end
    Else
    If x<n Then
      DeleteNode(root^.left,n)
    else
    If x>n Then
      DeleteNode(root^.right,n)
  end
  Else
    writeln('Error');
end;

[Chudo4258]

TYPE BT=integer;
     U = ^BinTree;
     BinTree = Record
         Inf : BT;
         L,R : U;
END;

function Delete(Tree: U; x: BT) : U;
var P, v : U;
begin
   if (Tree=nil)
   then writeln('такого элемента в дереве нет!')
   else if x < Tree^.inf then Tree^.L := Delete(Tree^.L, x) {случай 1}
                         else
                          if x > Tree^.inf
                          then Tree^.R := Delete(Tree^.R, x) {случай 1}
                          else
                          begin {случай 1}
                           P := Tree;
                           if Tree^.R=nil
                           then Tree:=Tree^.L
                           else if Tree^.L=nil
                                then Tree:=Tree^.R
                                else begin
                                      v := Tree^.L;
                                      while v^.R^.R <> nil do v:= v^.R;
                                      Tree^.inf := v^.R^.inf;
                                      P := v^.R;
                                      v^.R :=v^.R^.L;
                                     end;
                           dispose(P);
                          end;
Delete := Tree
end;

[lebrosha]

благодарю!!!