Создание и прошивка бинарного дерева: Ошибка переполнения стека

program p5_1;
 
type
  BT = longint;
  u = ^bintree;
  bintree = record
    inf: BT;
    ltag, rtag: boolean;
    l, r: u;
  end;
var
  i, n, a, b, z: integer;
var
  treet, y,root: u;
 
procedure sozd(a: bt; var tree: u);
begin
  if tree = nil then begin
    new(tree);
    tree^.inf := a;
    tree^.l := nil;
    tree^.r := nil; end
  else if a < tree^.inf then sozd(a, tree^.l)
  else  sozd(a, tree^.r);
end;
 
procedure sim_print(x:u);
procedure r_sew( parent: u);
begin
  if y <> nil then begin
    if y^.r = nil then begin
      y^.rtag := true;
      y^.r := parent;
    end
    else y^.rtag := false;
  end;
  y := parent;
 
end;
begin
if x <> nil then begin
  sim_print(x^.l);
    r_sew(x);
    sim_print(x^.r);  
    end;    
    end;
procedure obxod(x: u);
begin
  writeln('obxod proshitogo dereva:');
  while x <> nil do
  begin
    while x^.l <> nil do x := x^.l;
    writeln(x^.inf);
    while x^.rtag = true do
    begin
      x := x^.r;
      if x=nil then exit;
      writeln(x^.inf);
    end;
    x := x^.r;
  end;
end;
 
procedure printtree(tree: u);
begin
  if tree <> nil then begin
    printtree(tree^.l);
    write(tree^.inf:6);
    printtree(tree^.r );
  end;
end;
begin
 
  y := nil;
  writeln('Vvod N');
  readln(n);  
   writeln('Vvod elementov');
  for i := 1 to n do
  begin
    readln(a);
    sozd(a, treet);
  end;
  root:=treet;
  writeln('Vivod dereva* ');
  printtree(treet);
  writeln;
  sim_print(treet);
  writeln(treet);
  obxod(treet);
  writeln('   **Menu**');
writeln('1-dobavlenie elementa*');
writeln('2-ydalenie elementa*');
writeln('0-vihod');
writeln('Vash vibor ');
readln(b);
case b of
1:begin
writeln('Vvedite novii element ');
readln(a);
sozd(a,treet);
sim_print(treet);
obxod(treet);
writeln;
end;
0:exit;
end;
  readln;
end.