begin
  var i: integer? := nil;
  var j: integer? := nil;
  assert(not (i = 0));
  assert(i <> 0);
  assert(not (i <> j));
  assert(i = j);
end.