444 	isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);  in isl_tab_product()
445 	isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);  in isl_tab_product()
446 	isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);  in isl_tab_product()
447 	isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);  in isl_tab_product()
448 	isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);  in isl_tab_product()
449 	isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);  in isl_tab_product()
450 	isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);  in isl_tab_product()
451 	isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);  in isl_tab_product()
452 	isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);  in isl_tab_product()
714 	isl_assert(tab->mat->ctx, var->is_row, return);  in find_pivot()
960 	isl_assert(tab->mat->ctx, row >= tab->n_redundant, return -1);  in isl_tab_mark_redundant()
1055 	isl_assert(mat->ctx, row_sgn > 0, return);  in update_row_sign()
1056 	isl_assert(mat->ctx, tab->row_sign[row] == isl_tab_row_neg, return);  in update_row_sign()
1217 		isl_assert(tab->mat->ctx, r < tab->n_row, return -1);  in to_row()
1220 		isl_assert(tab->mat->ctx, r >= 0, return -1);  in to_row()
1243 			isl_assert(tab->mat->ctx,  in check_table()
1248 		isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),  in check_table()
1292 	isl_assert(tab->mat->ctx, !var->is_redundant, return -2);  in isl_tab_sign_of_max()
1293 	isl_assert(tab->mat->ctx, !var->is_zero, return -2);  in isl_tab_sign_of_max()
1681 	isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);  in isl_tab_allocate_con()
1682 	isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);  in isl_tab_allocate_con()
1766 	isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);  in isl_tab_insert_var()
1862 	isl_assert(tab->mat->ctx, ~tab->row_var[row] == tab->n_con - 1,  in drop_row()
1907 		isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq,  in isl_tab_add_ineq()
1909 		isl_assert(tab->mat->ctx,  in isl_tab_add_ineq()
1965 		isl_assert(tab->mat->ctx, row != -1, return -1);  in to_col()
1976 	isl_assert(tab->mat->ctx, i < tab->n_col, return -1);  in to_col()
2005 	isl_assert(tab->mat->ctx, i >= 0, goto error);  in add_eq()
2119 	isl_assert(tab->mat->ctx, !tab->M, return isl_stat_error);  in isl_tab_add_eq()
3724 			isl_assert(tab->mat->ctx, sgn >= 0,  in unrelax()
3805 			isl_assert(tab->mat->ctx, !var->is_row,  in perform_undo_var()
3931 		isl_assert(tab->mat->ctx, j < n_extra, goto error);  in restore_basis()
4006 		isl_assert(tab->mat->ctx, 0, return isl_stat_error);  in perform_undo()
4154 	isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, goto error);  in isl_tab_track_bmap()
4155 	isl_assert(tab->mat->ctx,  in isl_tab_track_bmap()