goto-symex → linking Relation

File in src/goto-symex	Includes file in src/linking
shadow_memory.cpp	static_lifetime_init.h