isl_schedule_constraints_compute_schedule: strongly satisfy dependences