update isl for isl_schedule_constraints_get_coincidence