main(): void { a, b : int; { if (a>3) b = 4; a = 3; if (a>3 then b = 4; if a>3) then b = 4; a = 3 } }