dynamic-frames → linking Relation

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