Работа со списками, вставить второй список за первым вхождением числа первого спика

type
{Тип основных данных.}
TElem=real;
{Тип указателя на элемент списка.}
n=^L1;
{Тип элемента списка.}
L1 = record
        Elem:TElem;{Основные данные.}
        next:n;{Указатель на следующий элемент списка.}        
end; 
{Тип, описывающий однонаправленный список.}
Spisock = record 
        NFirst,NLast:n; {Указатели на первый и на последний элементы списка.}
end;        
 
 
{Начальная инициализация списка,только в отношении пустого списка}
procedure Init(var aList : Spisock );
begin
  aList.NFirst := nil;
  aList.NLast := nil;
end;
 
{Особождение памяти, занятой под список.}
procedure Free(var aList : Spisock);
var
  next, NDel : n;
begin
  next := aList.NFirst;
  while next <> nil do 
  begin
    NDel := next;
    next := next^.next;
    Dispose(NDel);
  end;
  Init(aList);
end;
 
       
{Распечатка однонаправленного списка.}
procedure WriteList(const aList : Spisock );
var
  tec : n;
begin
  if aList.NFirst = nil then begin
    Write('Список пуст.');
    Exit;
  end;
 
  tec := aList.NFirst;
  while tec <> nil do begin
    if tec <> aList.NFirst then Write(', ');
    Write(tec^.Elem);
    tec := tec^.next;
  end;
end;
 
 
{Добавление элемента в конец однонаправленного списка.}
procedure Add(var aList :Spisock ; const aElem : TElem);
var
  tec : n;
begin
  New(tec);
  tec^.Elem := aElem;
  tec^.next := nil;
  if aList.NFirst = nil then
    aList.NFirst := tec
  else
    aList.NLast^.next := tec;
    aList.NLast := tec;
end;
 
var
L,L2:Spisock;
pred,tec,Tnew:n;
i,code:integer;
u,v:string;
Elem,E,F:TElem;
Begin
 
{Начальная инициализация списка.}
Init(L);
Init(L2);
 
{создание первого списка}
repeat
    Writeln('Создание списка.');
    Writeln('Прекратить ввод - пустая строка + Enter.');
    i := 0;
    repeat
      Write('Элемент ', i + 1, ': ');
      Readln(u);
      if u <> '' then 
      begin
        Val(u, Elem, Code);
        if Code = 0 then 
        begin
          Inc(i);
          Add(L, Elem);
        end 
        else
          Writeln('Неверный ввод. Повторите.');
      end;
    until u = '';
    Writeln('Составлен список:');
    WriteList(L);
    Writeln;
until u = '';
 {создание второго списка}
repeat
    Writeln('Создание списка.');
    Writeln('Прекратить ввод - пустая строка + Enter.');
    i := 0;
    repeat
      Write('Элемент ', i + 1, ': ');
      Readln(v);
      if v <> '' then 
      begin
        Val(v, Elem, Code);
        if Code = 0 then begin
          Inc(i);
          Add(L2, Elem);
        end 
        else
          Writeln('Неверный ввод. Повторите.');
      end;
    until v = '';
    Writeln('Составлен список:');
    WriteList(L2);
    Writeln; 
until v = '';
 
 
 
{Задаем значение элементов.}
repeat
      Write('Задайте значение искомого элемента (E): ');
      Readln(u);
      Val(u, E, Code);
      if Code <> 0 then
        Writeln('Неверный ввод. Повторите.');
until Code = 0;
repeat
      Write('Задайте значение вставляемого элемента (F): ');
      Readln(v);
      Val(v, F, Code);
      if Code <> 0 then
        Writeln('Неверный ввод. Повторите.');
until Code = 0;
 
 
{Ищем первый элемент со значением E и в случае его обнаружения вставляем перед ним элементы второго списка}
{Чтобы вставить перед элементом новый элемент мы должны знать указатель на предыдущий элемент. Для этого заведена переменная pred.}
pred := nil;{Указатель на предыдущий элемент списка.}
tec := L.NFirst;{Указатель на текущий элемент списка.}
Tnew := nil;{Указатель на новый элемент.}
while (tec <> nil) and (Tnew = nil) do
  if tec^.Elem = E then begin
  {Выделяем память для нового элемента и получаем указатель на него.}
  new(Tnew);
  {Записываем данные.}
  Tnew^.Elem := F;
  {К новому элементу прикрепляем ту часть списка, которая идёт после элемента tec.}
  Tnew^.next := tec;
  {К элелменту tec прикрепляем элемент Tnew. (А к Tnew уже прикреплена остальная часть списка.)}
  if pred = nil then 
    L.NFirst := Tnew
  else
    pred^.next := Tnew;
  end else begin
  {Переходим к следующей паре элементов.}
  pred := tec;
  tec := tec^.next{Получаем указатель на следующий элемент списка.}
  end;
  
  if Tnew <> nil then 
  begin
      Writeln('Новый элемент F вставлен в список.');
      Writeln('Список после вставки:');
      WriteList(L);
      Writeln;
  end else
      Writeln('Элемента Е нет в списке. Новый элемент F в список не вставлен.');
      
{Освобождение памяти, занятой под список.}
    Free(L);
    Writeln('Память, занятая под список, освобождена. Работа завершена.'); 
    
    Writeln('Повторить - Enter. Выход - любой символ + Enter.');
    Readln(u);
 
End.