aggiunto inutile test per SessionManager