Uguaglianza 2
s.insert (y); // y non viene aggiunto ad s perché risulta esserci già
if (s.isIn(y)) // non ci arriva!
poiché y ha lo stesso stato di x quando è inserito in s non è aggiunto a s
quando lo stato di x cambia, y non piú uguale a x e la chiamata a isIn restituisce false