avoid use of isl_constraint_add_div in isl_test