docs: def global_variable_id_generator(size=10, chars=string.ascii_uppercase):
      """ Create a new and unique global variable id
  
      Generates an id for a global variable. It randomly samples from random ascii uppercase letters size times
      and concatenates them. If the id already exists it draws a new one.
  
      :param size: the length of the generated keys
      :param chars: the set of characters a sample draws from
      """
      new_global_variable_id = ''.join(random.choice(chars) for x in range(size))
      while new_global_variable_id in used_global_variable_ids:
          new_global_variable_id = ''.join(random.choice(chars) for x in range(size))
      used_global_variable_ids.append(new_global_variable_id)
      return new_global_variable_id