{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"*s"}]}
                    *s = new_succ;
                    // `other_to` references the `current -> succ` edge, so replace `succ`.
                    new_involved.push((to_index, in_to_index + 1));