Minor changes and bug fixes.

1. Completed TODOs;
2. Added a check for switch_operation() in main();
3. Added a test in case_search() when the car is not found;
4. Eliminated a wrong assert-ion in switch_operation().