{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
            // Replace the `current -> succ` edge by `current -> new_succ` in all the following
            // TOs. This is necessary to avoid trying to thread through a non-existing edge. We