Inconsistency SetDest car setDest env car

departReq carHandler

departAck carHandler

start cruiser

started cruiser

engage cruiser

cruiser start car

started car

engage car carHandler departReq car

departAck car

Depart carHandler

departAck car

car departAck carHandler cruiser engage car start car

started car

car

engage cruiser

start cruiser

started cruiser