Fix assertion arguments.
Use different file for navigation test because of test framework limitation.