flattening → lowering Relation

File in src/solvers/flattening	Includes file in src/solvers/lowering
boolbv.h	functions.h