Cómo detectar si el diagrama de estados es incorrecto