Obs(Red, 0)
State(Stop, 0)
Obs(Green, 1)
State(Drive, 1)
Obs(Yellow, 2)
State(Slow, 2)
Obs(Red, 3)
State(Stop, 3)
Obs(Green, 4)
State(Drive, 4)
Obs(Yellow, 5)
State(Slow, 5)
Obs(Red, 6)
State(Stop, 6)
Obs(Green, 7)
State(Drive, 7)
Obs(Yellow, 8)
State(Slow, 8)
Obs(Red, 9)
State(Stop, 9)
Obs(Green, 10)
State(Drive, 10)


Succ(1, 0)
Succ(2, 1)
Succ(3, 2)
Succ(4, 3)
Succ(5, 4)
Succ(6, 5)
Succ(7, 6)
Succ(8, 7)
Succ(9, 8)
Succ(10, 9)