basis_reduction_tab.c: use isl_tab_product to construct product tableau