Method upper_toms_bound() removed from source code.