Найти все вершины графа

Program NonReachability;  
     Uses  Crt;
    Type Uk=^Rebro; {tip-ucazatel na rebro}
        Rebro=Record    {tip, opicivauhii rebro grafa}
     Ver1, Ver2 : Integer;      {verhini grafa}
     Next: Uk;              {ucazatel na cled rebro}
     Bool: Boolean;     {priznac proxogdenia po rebru}
        end;
Var  P, P1:Uk;   
     N, M, i, j, a : Word;
     Way : Set of Byte; {mnogectvo doctigimix verhin }
{____________________}
Procedure Input;
var i:word;
  Begin     
    Write(' Vvedite colichectvo verhin :  ');  ReadLn(N);
    Write(' Vvedite colichectvo reber:  ');      ReadLn(M);
    P:=nil;   {cepochca reber pucta}
    For i:= 1 to M do
       begin New(P1); {cozdanie novogo rebra}
        Write ('Vvedite 1-u verhinu`,i,`-go rebra:  ');  Read(P1^.Ver1);
        Write ('Vvedite 2-u verhinu`,i,`-go rebra:  ');  Read(P1^.Ver2);
        P1^.Bool :=TRUE;  P1^.Next :=P; {pricreplaem novoe rebro c naachalu}
        P:=P1;   {novoe rebro ctanovitca nachalom cepochki}
         end;
End; {of Input}
{_________________}
Procedure Poisk (i:Byte);
    Var tt:Uk;      {ukazatel na tecuchee rebro}
Begin
 Way:=Way+[i];  {dobavlaem verchinu vo mnogectvo doctigimix}
 tt:=p;         {peremechaem ucazatel na nachalo cepochci}
 While tt<>nil do {poca ne conec cepochki}
  begin If (i=tt^.Ver1) and tt^.Bool    {naxodim rebro kotoroe vixodit}
    then    {iz i-oi verhini v kotoroi ne bili}
    begin tt^.Bool := FALSE; {otmechaem chto prochli}
     Poisk(tt^.Ver2);    {uxodim na vtoruu verhinu}
     tt^.Bool := TRUE;  {cnimaem otmetcu o pocehenii }
    end;
    tt:=tt^.Next;
  end;
end; {of Poisk}
begin
  ClrScr;
    Input; {vvod grafa}
Write('zadaite verhinu dla cotoroi ihutca nedoctigimii verdhini: '); ReadLn(A);
    Way:=[];    {obnulaem mnogectvo doctigimix verhin}
    Poisk(A);   {procedura obxoda grafa}
    for j:=1 to N do
      if not (j in Way) then WriteLn( j, '-яia verhina nedoctigima iz verhini',  A);
    if Way = [1 .. N] then WriteLn('Vce verhini doctigimi iz verhini ', A);
    ReadLn
end.