trace → irep2 Relation

File in src/goto-symex/trace	Includes file in src/irep2
goto_trace.h	irep2.h
printf_formatter.cpp	irep2_utils.h
printf_formatter.h	irep2_expr.h