isl_scheduler.c: setup_lp: extract out add_sum_constraint