floatbv → flattening Relation

File in src/solvers/floatbv	Includes file in src/solvers/flattening
float_utils.h	bv_utils.h