contracts → linking Relation

File in goto-instrument/contracts	Includes file in linking
memory_predicates.cpp	static_lifetime_init.h
dynamic-frames / dfcc.cpp	static_lifetime_init.h
dynamic-frames / dfcc_library.cpp	static_lifetime_init.h
dynamic-frames / dfcc_swap_and_wrap.cpp	static_lifetime_init.h
dynamic-frames / dfcc_utils.cpp	static_lifetime_init.h