equation → irep2 Relation

File in src/goto-symex/equation	Includes file in src/irep2
features.cpp	irep2_type.h
symex_symmetry.cpp	irep2.h
symex_symmetry.cpp	irep2_utils.h
symex_target.h	irep2.h
symex_target.h	irep2_guard.h
symex_target_equation.cpp	irep2.h
symex_target_equation.cpp	irep2_utils.h
symex_target_equation.h	irep2.h