- size_t case_idx = var_get_case_index (v);
- assert (case_idx < caseproto_get_n_widths (c->proto));
- assert (caseproto_get_width (c->proto, case_idx) == var_get_width (v));
+ size_t var_idx = var_get_dict_index (v);
+ assert (var_idx < caseproto_get_n_widths (c->proto));
+ assert (caseproto_get_width (c->proto, var_idx) == var_get_width (v));