This depends on every node having an annotation which break compatability with aterm. If you desire an annotated term write it in the form:

```python
ATerm(AAppl('f', ATerm('y')), annotation='foo'))
```