I am trying to write code for a state machine with 3 states (+a forth initial state that is nver reached after the it is left, which is in the second clock pulse). The state