accelerate → goto-symex Relation

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