Toutes les Transitions sortant d’un nœud de séparation doivent aller vers des Regions différentes.
Les Regions d’un State orthogonal étant concurrentes, chaque Transition sortant d’un nœud de séparation devrait arriver dans une Region différente.
Si vous avez plusieurs Transitions arrivant sur une même Region, supprimez l’une des Transitions ou déplacez les States ciblés dans une autre Region.