strings → refinement Relation

File in src/solvers/strings	Includes file in src/solvers/refinement
string_refinement.h	bv_refinement.h