smt1 → flattening Relation

File in solvers/smt1	Includes file in solvers/flattening
smt1_conv.cpp	boolbv_width.h
smt1_conv.cpp	c_bit_field_replacement_type.h
smt1_conv.cpp	flatten_byte_operators.h
smt1_conv.cpp	pointer_logic.h
smt1_conv.h	boolbv_width.h
smt1_conv.h	pointer_logic.h