isl_schedule_constraints: split proximity constraints into coincidence/proximity