genspect::set_annotation —
aterm set_annotation(aterm t, aterm label, aterm annotation);
Annotate a term with a labeled annotation. Creates a version of t that is annotated with annotation and labeled by label.