declareTuple function
Implementation
TupleInfo declareTuple(String name, Iterable<Sort> sorts) =>
currentContext.declareTuple(
Sym(name),
{
for (var i = 0; i < sorts.length; i++)
Sym('$name\$$i'): sorts.elementAt(i),
},
);