split dfcct into multiple classes

Author: Remi Delmas

src/goto-instrument/Makefile

@@ -17,6 +17,10 @@ SRC = accelerate/accelerate.cpp \
       branch.cpp \
       call_sequences.cpp \
       contracts/contracts.cpp \
+      contracts/dfcc_utils.cpp \
+      contracts/dfcc_library.cpp \
+      contracts/dfcc_contract_handler.cpp \
+      contracts/dsl_contract_handler.cpp \
       contracts/dfcc.cpp \
       contracts/havoc_assigns_clause_targets.cpp \
       contracts/instrument_spec_assigns.cpp \