close #10 add basic tests for NavigationDsl