Miglioramenti al SpaceSaving analyzer

Cambiata funzione di hash: ora non si ha piu' comportamento non
deterministico
Aggiunto qualche commento
Cambiato nomi variabili