бинарное дерево

[Intess]

вот пишу программу, есть процедура, которая сохраняет N чисел в файл, затем идут вот эти процедуры: счиывания из файла и заполенение дерева...нормально заполняется очень редко, в большинстве случаев ошибки.. не подскажите процедура заполения девера у меня правильно написана??? а то я запутался в этой рекурсии, может эти ошибки из-за условия когда идти направо или налево...

procedure tree.FrFile;
var a:integer;
begin
fg:=0;  g:=0;    b:=0;
assign(ff, '1.txt');
reset(ff);
while not eof(ff) do
 begin
  read(ff, a);
   InsRec(root, a);
 end;
 close(ff);
end;


Procedure tree.InsRec(Var rt :Ttree; x : integer);
Begin
   If rt=Nil
   Then Begin 
	    New(rt);
	    rt^.Left := Nil;
	    rt^.Right := Nil;
	    rt^.value:= x;
	End
   Else If x < rt^.value
	Then InsRec(rt^.left, x)
	Else InsRec(rt^.right, x)
End;