trace → goto-programs Relation

File in src/goto-symex/trace	Includes file in src/goto-programs
goto_trace.h	goto_program.h
sarif.h	dead_store_advisory.h