isl_basic_map_find_output_upper_div_constraint: extract constraint_pair_has_bound