let change_initialized init v = match init, v with
| true, C_uninit_esc v -> C_init_esc v
| true, C_uninit_noesc v -> C_init_noesc v
| true, _ -> v
| false, C_init_esc v -> C_uninit_esc v
| false, C_init_noesc v -> C_uninit_noesc v
| false, _ -> v