Make_a_value_range_a_definite_range