goto-programs → analyses Relation

File in src/goto-programs	Includes file in src/analyses
ensure_one_backedge_per_target.cpp	natural_loops.h
remove_function_pointers.cpp	does_remove_const.h
slice_global_inits.cpp	call_graph.h