{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"state.var_values.truncate(num_var_values);"}]}
                state.var_values.truncate(num_var_values);
                let num_var_values = state.current_evaluation_scope().initial_num_var_values;
                state.probe_depth -= 1;