use isl_set_{lower,upper}_bound_si instead of our own open coded version