{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"editor.delete(next_ws.syntax());"}]}
                    editor.delete(next_ws.syntax());
                if rest.is_empty() {
                } else {