begin
  var i: integer := if true then 1 else 2; 
  assert(i = 1);
end.