TF237112: impossibile dedurre lo stato predefinito dalle transizioni. Lo stato predefinito viene definito mediante una transizione ...