trace → state Relation

File in src/goto-symex/trace	Includes file in src/goto-symex/state
build_goto_trace.cpp	renaming.h