Symbol: aggsum_upper_bound