1) Inserite alcune precondizioni, postcondizioni e invarianti
2) Sistemata documentazione nel package gestioneModello