engine → trace Relation

File in src/goto-symex/engine	Includes file in src/goto-symex/trace
builtin_functions / io.cpp	printf_formatter.h