Помогите найти ошибку. Является ли дерево деревом поиска

program Derevo;
 
const
n = 7;
type
 telem = integer;
 Ttree = ^Tnode;
 Tnode = record
            info: telem;
            left, right: Ttree;
         end;
 mass = array[1..n] of telem;
 
 Procedure Add (var t:Ttree; elem: telem; flag: boolean);
 var temp: Ttree;
 Begin
   if (t^.left=nil) or (t^.right=nil) then
     begin
       new(temp);
       temp^.info:=elem;
       temp^.right:= nil;
       temp^.left:= nil;
       if flag then
       t^.right:=temp
       else
       t^.left:=temp;
     end;
 end;
 
 Procedure From_Tree(t: Ttree; a:mass);
 var  i:integer;
 begin
   i:=1;
   if t<> nil then
   begin
     From_Tree(t^.left,a);
     From_Tree(t^.right,a);
     a[i]:= t^.info;
     i:=i+1;
   end;
 end;
 
 Procedure Print_tree (t: TTree);
 begin
   if t<> nil then
   begin
     print_tree(t^.left);
     print_tree(t^.right);
     writeln(t^.info);
   end;
 end;
 
 Function Poisk (a:mass): boolean;
 var i: integer;flag: boolean;
 begin
   flag:=true;
   for i:= 1 to n-1 do
   if a[i] >= a[i+1] then
   flag:= false;
   result:= flag;
 end;
 
var
j,i,elem:integer; t:Ttree; flag: boolean; a:mass;
 
BEGIN
  flag:=true;
  new(t);
  t^.left:=nil;
  t^.right:=nil;
  For j:=1 to n do
  Begin
    writeln('vvedite ', j,'- oe chislo');
    read(elem);
    Add(t, elem, flag);
    flag:=not flag;
  end;
  Print_tree(t);
  From_tree(t, a);
  If Poisk(a) then
  writeln ('Derevo poiska')
  else
  writeln( 'Derevo ne yavlyaetsya derevom poiska');
  readln;
  readln;
 END.