Pascal ABC, проверка описания переменных
 

Мне нужно в текстовом файле (или переменной) проверить правильность описания переменной с помощью регулярных выражений. У меня почему-то не получается. Помогите, пожалуйста, доделать, чтобы работало. То-есть, если в тексте правильно описано, то выдать: корректно. А если нет, то сказать, например, какая переменная записана дважды.
Вот текст:
program regv;
uses
System.Text.RegularExpressions;
var
s: string := 'var i1,i2: integer; st2,i2: string[5];';
begin
{Readln(s);}
foreach s0: string in Regex.Split(s, ' +') do
Writeln(s0);
{foreach m: Match in Regex.Matches(s, 'var') do
Write(m.Value); }
foreach m: Match in Regex.Matches(s, '(?!var)[s;](((\w+)[,\s]*)+(\s*):(\s*)(integer│string))+') do
Write(m.Success);

if FALSE then writeln('1 ,w'); {строка и позиция - при ошибке}
else writeln('Описание корректное'); {ЕСЛИ нет ошибок}
endif;

end.