CONTRACTS: cleanup imports in dfcc.h

Author: Remi Delmas

src/goto-instrument/contracts/dynamic-frames/dfcc.cpp

@@ -25,6 +25,7 @@ Author: Remi Delmas, [email protected]
 #include <util/pointer_predicates.h>
 #include <util/std_expr.h>
 
+#include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/goto_functions.h>
 #include <goto-programs/goto_inline.h>
 #include <goto-programs/goto_model.h>

src/goto-instrument/contracts/dynamic-frames/dfcc.h

@@ -32,12 +32,7 @@ Author: Remi Delmas, [email protected]
 #ifndef CPROVER_GOTO_INSTRUMENT_CONTRACTS_DYNAMIC_FRAMES_DFCC_H
 #define CPROVER_GOTO_INSTRUMENT_CONTRACTS_DYNAMIC_FRAMES_DFCC_H
 
-#include <util/arith_tools.h>
-#include <util/c_types.h>
-#include <util/std_expr.h>
-#include <util/std_types.h>
-
-#include <goto-programs/goto_convert_functions.h>
+#include <util/irep.h>
 
 #include "dfcc_contract_handler.h"
 #include "dfcc_dsl_contract_handler.h"