goto-synthesizer → analyses Relation

File in src/goto-synthesizer	Includes file in src/analyses
cegis_verifier.cpp	dependence_graph.h
enumerative_loop_contracts_synthesizer.cpp	local_may_alias.h
enumerative_loop_contracts_synthesizer.cpp	natural_loops.h