linking → goto-programs Relation

File in src/linking	Includes file in src/goto-programs
remove_internal_symbols.cpp	adjust_float_expressions.h
static_lifetime_init.cpp	goto_model.h