{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"new_involved.push((to_index,"}]}
                    new_involved.push((to_index, in_to_index + 1));
                    *s = new_succ;
                }