Bounds on some value, BELOW <= X <= UP.
Referenced by assert_loop_rolls_lt(), bound_difference(), bound_difference_of_offsetted_base(), bounds_add(), bounds_negate(), number_of_iterations_cond(), number_of_iterations_lt(), number_of_iterations_lt_to_ne(), number_of_iterations_ne_max(), and refine_bounds_using_guard().
Referenced by assert_loop_rolls_lt(), bound_difference(), bound_difference_of_offsetted_base(), bounds_add(), bounds_negate(), number_of_iterations_cond(), number_of_iterations_lt(), number_of_iterations_ne_max(), and refine_bounds_using_guard().