trace → equation Relation

File in src/goto-symex/trace	Includes file in src/goto-symex/equation
build_goto_trace.h	symex_target_equation.h
goto_trace.h	symex_target.h