{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"node_rewrites[index]"}]}
                    node_rewrites[index] = orig_nodes_len;
                    outcome_cb(&node.obligation);
                    dead_nodes += 1;