State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `ha` Event `hv` switch 1 `he'he'hv` 0 ===> 1 `lu` 0
State `ha` Event `hv` auto `he'he'hv____` 0 ===> 0 `lu` 0State could be casted into a Transition:
Supertype (State state result) ~ Transition state resultState `ha` Event `hv` switch 1 `he'he'hv` 0 ===> 1 `lu` 0
State `ha` Event `hv` auto `he'he'hv____` 0 ===> 0 `lu` 0