TF237112: El estado predeterminado no puede inferirse de las transiciones. El estado predeterminado se define mediante una ...