add isl_basic_set_add_div_constraints