smt2_incremental → flattening Relation

File in src/solvers/smt2_incremental	Includes file in src/solvers/flattening
encoding / struct_encoding.cpp	boolbv_width.h