docs: def handle_annotation_list(self, line: str, position: int, tokens: ParseResults) -> ParseResults:
          """Handle statements like ``DEFINE ANNOTATION X AS LIST {"Y","Z", ...}``.
  
          :raises: RedefinedAnnotationError
          """
          annotation = tokens['name']
          self.raise_for_redefined_annotation(line, position, annotation)
          self.annotation_to_local[annotation] = set(tokens['values'])
          return tokens