return factory.setAnnotation(this, label, anno);
ATermList new_annos = annotations.dictPut(label, anno); ATerm result = setAnnotations(new_annos);  return result;
  public ATerm setAnnotation(ATerm label, ATerm anno)  {    return factory.setAnnotation(this, label, anno);  }