State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `he` Event `he` switch 1 `he'he` 0 `AR___` 1 `lu` 0
State `he` Event `he` auto `he____'he` 0 `AR___` 0 `lu` 0State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `he` Event `he` switch 1 `he'he` 0 `AR___` 1 `lu` 0
State `he` Event `he` auto `he____'he` 0 `AR___` 0 `lu` 0