Clang-format includes of construct_value_expr_from_smt unit test

The following commit is adding an include which will cause the updated
version of clang-format to re-order the includes. Doing the reorder in
advance will make it clear which include is added.

Author: thomasspriggs

unit/solvers/smt2_incremental/construct_value_expr_from_smt.cpp

@@ -1,20 +1,17 @@
 // Author: Diffblue Ltd.
 
-#include <testing-utils/use_catch.h>
+#include <util/arith_tools.h>
+#include <util/bitvector_types.h>
+#include <util/mp_arith.h>
+#include <util/std_expr.h>
+#include <util/std_types.h>
 
 #include <solvers/smt2_incremental/construct_value_expr_from_smt.h>
-
 #include <solvers/smt2_incremental/smt_core_theory.h>
 #include <solvers/smt2_incremental/smt_terms.h>
 #include <solvers/smt2_incremental/smt_to_smt2_string.h>
-
 #include <testing-utils/invariant.h>
-
-#include <util/arith_tools.h>
-#include <util/bitvector_types.h>
-#include <util/mp_arith.h>
-#include <util/std_expr.h>
-#include <util/std_types.h>
+#include <testing-utils/use_catch.h>
 
 #include <string>