trace → witness Relation

File in src/goto-symex/trace	Includes file in src/goto-symex/witness
build_goto_trace.cpp	witnesses.h
goto_trace.cpp	witnesses.h