When Can Navigation Rules Be Tested