tuple → irep2 Relation

File in src/solvers/smt/tuple	Includes file in src/irep2
smt_tuple.cpp	irep2_type.h