witness → irep2 Relation

File in src/goto-symex/witness	Includes file in src/irep2
witnesses.cpp	irep2.h
witnesses.cpp	irep2_expr.h
witnesses.cpp	irep2_utils.h
witnesses.h	irep2.h