{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.checked_attrs.insert(attr.id());"}]}
            self.checked_attrs.insert(attr.id());
            };
            for label in assertion.clean.items().into_sorted_stable_ord() {