dynamic-frames → analyses Relation

File in src/goto-instrument/contracts/dynamic-frames	Includes file in src/analyses
dfcc_cfg_info.cpp	local_may_alias.h
dfcc_cfg_info.cpp	natural_loops.h
dfcc_check_loop_normal_form.cpp	natural_loops.h
dfcc_infer_loop_assigns.cpp	goto_rw.h
dfcc_infer_loop_assigns.cpp	local_may_alias.h
dfcc_instrument_loop.h	local_may_alias.h
dfcc_loop_nesting_graph.cpp	natural_loops.h
dfcc_loop_nesting_graph.h	loop_analysis.h