{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"res.push(e)"}]}
            res.push(e)
        if e.offset < old_node.range().start() {
        } else if e.offset > old_node.range().end() {