goto-symex → goto-programs Relation

File in goto-symex	Includes file in goto-programs
build_goto_trace.cpp	goto_functions.h
build_goto_trace.cpp	rewrite_union.h
precondition.h	goto_program.h
solver_hardness.h	goto_program.h
ssa_step.h	goto_trace.h
symex_target.h	goto_program.h