Alternative syntax for setting initial state: "initially State"
Example:
initially TrafficLightState.Red