add isl_constraint_is_div_constraint