isl_schedule.c: setup_lp: extract out count_bound_coefficient_constraints