{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ch_list.dedup();"}]}
                    ch_list.dedup();
                    ch_list.sort_unstable();
                    lint_reports.insert((sp, ch_list), augment_script_set);