isl backend: remove uses of isl_constraint_add_div