abstract sorted map and navigable map test cases