code: def ignore(self, *ignore_lst: str):
          
  
          def stream():
              for each in ignore_lst:
                  each = ConstStrPool.cast_to_const(each)
                  yield id(each), each
  
          self.ignore_lst.update(stream())
docs: ignore a set of tokens with specific names