goto-checker → linking Relation

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