Annotation should be written as ``ATerm(<subterm>, annotation="foo")``