@Override
public void updateAttributes(AttributesUpdate u) {
accu[0] = accu[0].mergeWith(a.checkUpdateAttributes(u, v));
abortIfIllFormed();
a.doUpdateAttributes(u);
}
@Override
public void annotationBoundary(AnnotationBoundaryMap map) {
accu[0] = accu[0].mergeWith(a.checkAnnotationBoundary(map, v));