witness → trace Relation

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