smt2_incremental → floatbv Relation

File in solvers/smt2_incremental	Includes file in solvers/floatbv
smt2_incremental_decision_procedure.cpp	float_bv.h