goto-instrument → goto-symex Relation

File in src/goto-instrument	Includes file in src/goto-symex
accelerate / scratch_program.cpp	slice.h
accelerate / scratch_program.h	goto_symex.h
accelerate / scratch_program.h	path_storage.h
accelerate / scratch_program.h	symex_target_equation.h