Алгоритм удаления узла из бинарного дерева

function DeleteMin(var Root: TTree): T;
var WasRoot: TTree;
begin
 
    if Root^.Left = nil then begin
        DeleteMin := Root^.value;   { Результат функции }
        WasRoot := Root;        { Запоминаем узел для последующего удаления }
        Root := Root^.Right;        { продвигаемся дальше }
        Dispose(WasRoot);       { удаляем бывший корень }
    end
    else { узел Root имеет левого "сына" }
        DeleteMin := DeleteMin(Root^.Left);
    
end;

procedure Remove(var Root: TTree; X: T);
var WasNext: TTree;
begin
    if Root <> nil then
        if X < Root^.value then Remove(Root^.Left, X)
        else 
            if X > Root^.value then Remove(Root^.Right, X)
            else 
                if (Root^.Left = nil) and (Root^.Right = nil) then begin
                    { Нет "сыновей", удаляем узел, на который указывает Root }
                    Dispose(Root); 
                    Root := nil
                end
                else 
                    if Root^.Left = nil then begin
                        WasNext := Root^.Right;
                        Dispose(Root);
                        Root := WasNext;
                    end
                    else
                        if Root^.Right = nil then begin
                            WasNext := Root^.Left;
                            Dispose(Root);
                            Root := WasNext;
                        end
                        else { у удаляемого элемента есть оба "сына" }
                            Root^.value := DeleteMin(Root^.Right);
end;

else
wasroot:=rab;
tree^.inf:=rab^.inf
rab:=rab^.r
dispose(wasroot);