goto-programs → goto-symex Relation

File in src/goto-programs	Includes file in src/goto-symex
graphml_witness.cpp	symex_target_equation.h
remove_returns.cpp	shadow_memory.h