isl_tab.c: add_div_constraints: return isl_stat