engine → equation Relation

File in src/goto-symex/engine	Includes file in src/goto-symex/equation
goto_symex.h	symex_target.h
symex_goto.cpp	slice.h
symex_goto.cpp	symex_target_equation.h
symex_main.cpp	symex_target_equation.h