Продемонстрировать работу логической функции same(T), определяющую, есть ли в дереве Т хотя бы два одинаковых

program Project9;
 
{$APPTYPE CONSOLE}
 
{$R *.res}
 
uses
System.SysUtils;
 
type tipder=char;
ptrDER=^DEREVO;
DEREVO=record
zn: tipder;
l,r: ptrDER;
end;
der=ptrDER;
var D,X: der;
f: text;
a: tipder;
s: string;
 
procedure PECHD(T: der);
var T1: der;
begin
T1:=T;
if (T^.zn='*') or (T^.zn='+') or (T^.zn='-') then
begin
write('(');
T1:=T^.l;
PECHD(T^.l);
write(T^.zn);
T1:=T^.r;
PECHD(T^.r);
write(')');
end
else write(T^.zn);
end;
 
procedure STR(T: der; s: string);
var i,n,ks,j,f: integer;
s1: string;
T1: der;
begin
n:=length(s);
ks:=0;
f:=0;
for i:=1 to n do
if s[i]='(' then ks:=ks+1
else if s[i]=')' then ks:=ks-1
else if ((s[i]='*') or (s[i]='+') or (s[i]='-')) and (ks=1) then
begin
f:=1;
j:=i;
i:=n; //Вот здесь почему то ошибка. В чем ошибка?
end;
if f=1 then
begin
T^.zn:=s[j];
S1:=copy(s,2,j-2);
new(T1); T1^.l:=nil; T1^.r:=nil;
STR(T1,s1);
T^.l:=T1;
S1:=copy(s,j+1,n-j-1);
new(T1); T1^.l:=nil; T1^.r:=nil;
STR(T1,s1);
T^.r:=T1;
end
else T^.zn:=s[1];
end;
 
function prov(T: der): boolean;
begin
if (('0'<=T^.zn) and (T^.zn<='9')) and (T^.l=nil) and (T^.r=nil) then prov:=true else
if ((T^.zn='+') or (T^.zn='-') or (T^.zn='*')) and (T^.r<>nil) and (T^.l<>nil)
then prov:=true and (prov(T^.l)) and (prov(T^.r))
else prov:=false;
end;
 
begin
assign(f,'D:\DER.txt');
reset(f);
while not eof(f) do
begin
read(f,a);
s:=s+a;
end;
X:=D;
STR(X,s);
writeln('Печать дерева:');
PECHD(D);
writeln;
writeln;
if prov(D) then writeln('Данное дерево является деревом-формулой')
else writeln('Данное дерево не является деревом-формулой');
readln;
end.

  for i := 1 to n do // цикл по переменной i
    if s[i] = '(' then ks := ks + 1
    else if s[i] = ')' then ks := ks - 1
    else if ((s[i] = '*') or (s[i] = '+') or (s[i] = '-')) and (ks = 1) then
    begin
      f := 1;
      j := i;
      // i:=n; // <--- тут попытка изменить переменную i для того, чтобы на следующей же итерации цикл закончился.
      break // вместо этого воспользуемся оператором, немедленно прекращающим цикл. Эффект будет абсолютно тот же
    end;