witness → solvers Relation

File in src/goto-symex/witness	Includes file in src/solvers
witnesses.cpp	smt / smt_conv.h