builtin_functions → trace Relation

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