Un segmento de transición saliente con una flecha saliente que comienza en el contexto del estado y no se ha había encadenado transición entrante.