Assert on impossible state transition in Transit(); Put the last case and all non-enumerated cases(also supply assertion for them) in  for code coverage.