SMTLib2.Array
tArray
select
store