SkillsStatechartScriptsTestCorpusPickworker
PickWorker
TLC reached 2 states and 1 steps. The chart draws 2 states and 1 arrows. With SYMMETRY, TLC keeps one representative for each group of states that it counts as the same. An arrow can lead to the representative rather than to the state that the step reaches.
Rules that hold
PicksFirst