state → irep2 Relation

File in src/goto-symex/state	Includes file in src/irep2
goto_symex_state.cpp	irep2.h
goto_symex_state.cpp	irep2_utils.h
goto_symex_state.h	irep2.h
goto_symex_state.h	irep2_guard.h
renaming.cpp	irep2.h
renaming.h	irep2_expr.h
renaming.h	irep2_guard.h