Бинарное дерево, нерекурсивный обход

uses
  graphabc;
 
 
type
  trie = ^tree;
  tree = record
    val: integer;
    left, right: trie;
  end;
 
type
  stack = ^steck;
  steck = record
    inf: trie;
    next: stack;
  end;
 
procedure push(var s: stack; ch: trie);//добавление в стек
var
  k: stack;
begin
  if s = nil then
  begin
    new(s);
    s^.inf := ch;
    s^.next := nil;
  end
  else
  begin
    new(k);
    k^.inf := ch;
    k^.next := s;
    s := k;
  end;
end;
 
function pop(var s: stack): trie;//извлечение
var
  k: stack;
  el: trie;
begin
  k := s;
  el := k^.inf;
  s := k^.next;
  dispose(k);
  pop := el;
end;
 
procedure insertt(var t: trie; x: integer);
begin
  if t = nil then begin
    new(t);
    t^.val := x;//записваем переменную
    t^.left := nil;//левый потомок
    t^.right := nil;//правый потом
  end
  else
  if x > t^.val then
    insertt(t^.right, x)//рекурсия
  else
    insertt(t^.left, x);//реурсия
end;
 
function samiipravi(var t: trie): integer;//самый правый
begin
  while t^.right <> nil do //пока не дойдет до 0
    t := t^.right;//перемещать указатель
  samiipravi := t^.val;
end;
 
function delete(var t: trie; x: integer): trie;
var
  temp: trie;
begin
  if t = nil then //если дерево пусто
  begin
    delete := nil;//вернуть 0
    exit;
  end;
  if t^.val = x then begin//если значение найдено
    //проверки на потомственность
    //случай если один элемент
    if (t^.left = nil) and (t^.left = nil) then //если элемент не имеет потомков
    begin
      dispose(t);
      delete := nil;
      exit;
    end;
    //если один элемент и один потомок левый
    if (t^.right = nil) and  (t^.left <> nil) then begin//Если только одие потомок левый
      temp := t^.left;//он будет коронован
      dispose(t);
      delete := temp;
      exit;
    end;
    //если один элемент и один потомок правый
    if(t ^.right <> nil) and (t^.left = nil) then begin//если один потомок правый
      temp := t^.right;//он будет царём
      dispose(t);
      delete := temp;//функция вернет это значение
      exit;
    end;
    t^.val := samiipravi(t^.left);//и t теперь тут
    t^.left := delete(t^.right, t^.val);//
    delete := t;//возвращение 
    exit;//вместо return 
  end;
  //если меньше то в лево  
  if (x < t^.val) then
  begin
    t^.left := delete(t^.left, x);
    delete := t;
    exit;
  end;
  //если больше то вправо
  if (x > t^.val) then begin
    t^.right := delete(t^.right, x);
    delete := t;
    exit;
  end;
  delete := t;
  exit;
end;
 
 
function return(t: trie; x: integer): trie;//поиск с возвращением элемента
var
  elem: trie;
begin
  elem := nil;
  if (t = nil) then
  begin
    return := nil;
    exit;
  end;
  if t^.val = x then
    elem := t
    else
  if x > t^.val then
    elem := return(t^.left, x)
  else
    elem := return(t^.right, x);
  return := elem;
end;
 
procedure klr(t: trie);//обход корень левый правый
begin
  if t = nil then
    exit;
  write(t^.val, ' ');
  klr(t^.left);
  klr(t^.right);
end;
 
procedure lkr(t: trie);//левый корень правый
begin
  if t = nil then
    exit;
  lkr(t^.left);
  write(t^.val, ' ');
  // textout(koor,koor1,inttostr(t^.val));
  lkr(t^.right);
end;
 
procedure obhodnerecursive(t: trie);
var
  s: stack;
  m: trie;
begin
  s := nil;
  m := t;
  var max := -10000;
  while (1 > 0) do 
  begin//пока что то есть
    if (m <> nil) then begin
      if (m^.val > max) then max := m^.val;//корень-правый-левый
      push(s, m);
      m := m^.left;//в лево
    end
    else
    begin
      if s = nil then //если пусто
        break;
      m := pop(s)^.right;
      write(m, ' ');
    end;
  end;
end;
 
 
procedure menue();
var
  d: trie;
  c: trie;
begin
  d := nil; 
  clearwindow;
  while (0 < 1) do
  begin
    clearwindow;
    var ch := 0;
    TextOut(1, 1, 'Добавить элемент-----1');
    //textout(1, 30, 'Найти элемент-----------2');
    TextOut(1, 60, 'Удалить элемент-------3');
    TextOut(1, 90, 'Найти элемент-----------4');
    TextOut(1, 120, 'Показать дерево--------5');
    TextOut(1, 150, 'Корень-левый-правый------6');
    TextOut(1, 180, 'Левый корень правый------7');
    TextOut(1, 210, 'Нерекурсивый обход---------8');
    readln(ch);
    case (ch) of
      1: 
        begin
          clearwindow;
          var ch1 := 0;
          readln(ch);
          insertt(d, ch);
        end;
      6:
        begin
          clearwindow;
          klr(d);
          readln;
        end;
      7:
        begin
          clearwindow;
          lkr(d);
          readln;
        end;
      3:
        begin
          clearwindow;
          var ch2 := 0;
          readln(ch2);
          d := delete(d, ch2);//возращает теперешнее указтельство на дерево
        end;
      4:
        begin
          clearwindow;
          var x := 0;
          readln(x);
          c := return(d, x);
          if(c <> nil) then
            writeln('элемент есть')
          else
            writeln('не найден');
          readln;
        end;
      8:
        begin
          clearwindow();
          obhodnerecursive(d);
          readln;
        end;    
    end;
  end;
end;
 
 
begin
  menue();
end.