Add AttributeStatement assertion section