Implementato il corpo della funzione main e delle funzioni di asserzione
Corretto bug in assertKey
Corretto bug in assertKey