extract out shared isl_bound_add{,_tight}