[gobo-eiffel-develop] KL_STRING_VALUES

[Colin A. <col...@go...>]

`interpreted_string' could have a postcondition that the result is not
the same object as `a_string'.