Refine specification for string_in