strings → flattening Relation

File in src/solvers/strings	Includes file in src/solvers/flattening
string_constraint.cpp	bv_pointers.h