Add valid_assumed_value functions to get around Eiffel type system problems.