var
  x, y: const Int
  z: const Bool := @x = @y

begin
  assert(~z)
end.