string refinement