int isl_tab_add_row(struct isl_tab *tab, isl_int *line);
int isl_tab_row_is_redundant(struct isl_tab *tab, int row);
int isl_tab_min_at_most_neg_one(struct isl_tab *tab, struct isl_tab_var *var);
+int isl_tab_kill_col(struct isl_tab *tab, int col);
void isl_tab_push(struct isl_tab *tab, enum isl_tab_undo_type type);
void isl_tab_push_var(struct isl_tab *tab,