Writing tests for navigation tests