goto-programs → linking Relation

File in src/goto-programs	Includes file in src/linking
initialize_goto_model.cpp	static_lifetime_init.h
link_goto_model.cpp	linking_class.h
slice_global_inits.cpp	static_lifetime_init.h