commit di codice NON compilante: è lo stato temporaneo dei lavori dopo che ci siamo visti e abbiam cercato di sistemare il problema sulla FSM, creando un superstato per ora nominato Zaghen.