x.n_consts + 2 - i - 1, 1,
TAB_RIGHT | TAT_TITLE, var_to_string (x.vars[i]));
tab_text (table, x.n_consts + 2 - 2, 1, TAB_RIGHT | TAT_TITLE,
x.n_consts + 2 - i - 1, 1,
TAB_RIGHT | TAT_TITLE, var_to_string (x.vars[i]));
tab_text (table, x.n_consts + 2 - 2, 1, TAB_RIGHT | TAT_TITLE,