code: def get_strategic_global_state(self) -> GlobalState:
          
          for global_state in self.work_list:
              if not self._is_covered(global_state):
                  self.work_list.remove(global_state)
                  return global_state
          return self.super_strategy.get_strategic_global_state()
docs: Returns the first uncovered global state in the work list if it exists,
          otherwise super_strategy.get_strategic_global_state() is returned.