encoding → flattening Relation

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