public override bool AddAnnot(ITerm t) { if (annotations == null) { annotations = new ListTermImpl(); } IEnumerator <IListTerm> en = annotations.ListTermIterator(); while (en.MoveNext()) { IListTerm lt = en.Current; int c = t.CompareTo(lt.GetTerm()); if (c == 0) { return(false); } else if (c < 0) { lt.Insert(t); return(true); } } return(false); }