complete code coverage tests for Zone has_state method