wmm → linking Relation

File in src/goto-instrument/wmm	Includes file in src/linking
goto2graph.cpp	static_lifetime_init.h
shared_buffers.cpp	static_lifetime_init.h
weak_memory.cpp	static_lifetime_init.h