SMTLib2.Array

tArray

select

store