@lrytz, maybe you could comment on why we have the `UnexpectedTreeAnnotation` in place?