CONTRACTS: class dfcc_cfg_infot: loops and identifier scoping for DFCC

Author: Remi Delmas

src/goto-instrument/Makefile

@@ -25,6 +25,7 @@ SRC = accelerate/accelerate.cpp \
       contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp \
       contracts/dynamic-frames/dfcc_root_object.cpp \
       contracts/dynamic-frames/dfcc_infer_loop_assigns.cpp \
+      contracts/dynamic-frames/dfcc_cfg_info.cpp \
       contracts/dynamic-frames/dfcc_library.cpp \
       contracts/dynamic-frames/dfcc_is_cprover_symbol.cpp \
       contracts/dynamic-frames/dfcc_is_fresh.cpp \