assert (dict_contains_var (d, v));
assert (!compare_var_names (v->name, new_name, NULL)
|| dict_lookup_var (d, new_name) == NULL);
assert (dict_contains_var (d, v));
assert (!compare_var_names (v->name, new_name, NULL)
|| dict_lookup_var (d, new_name) == NULL);