Date le regole di transizione dello stato, non puoi annullare il caso nello stato corrente. Modifica lo stato del caso, quindi ...