Symbol: check_value_against_bounds