goto-checker → linking Relation

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