{"ast_node_type":"variable","tokens":[{"end":66,"kind":"keyword","start":0,"text":"let"}]}
            let _new_succ = self.involving_tos.push(new_involved);
            // in case we need to duplicate an edge starting at `new_succ` later.
            debug_assert_eq!(new_succ, _new_succ);