trace → solvers Relation

File in src/goto-symex/trace	Includes file in src/solvers
build_goto_trace.cpp	smt / smt_conv.h