Верна ли следующая программа? Если да, то сколько операторов она содержит, если нет, то...

Question

Верна ли следующая программа? Если да, то сколько операторов она содержит, если нет, то почему:
var x,y:integer;
begin
readln(y);;
x:=0;
if x>0 then;
writeln(x,y);
readln;
end.

Answer 1

Если убрать лишние точки с запятой то получится так

var
    x, y: integer;

begin
    readln(y);
    x := 0;
    if x > 0 then
        writeln(x, y);
    readln;
end.

Верна ли? А что есть критерием верности? Компилируется, не падает при исполнении, но по сути совершенно безсмысленна и потому наверно неверна)))
Операторов два - присвоения и сравнения