goto-checker → linking Relation

File in src/goto-checker	Includes file in src/linking
symex_bmc.cpp	static_lifetime_init.h
symex_coverage.cpp	static_lifetime_init.h