Symbol: fib_nh_upper_bound