def get_strategic_global_state(self) -> GlobalState:
        """
        Returns the first uncovered global state in the work list if it exists,
        otherwise super_strategy.get_strategic_global_state() is returned.
        """
        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()
Returns the first uncovered global state in the work list if it exists,
        otherwise super_strategy.get_strategic_global_state() is returned.