[SMT-LIB] Array Usage Example

[haihao shen]

Hello,

As mentioned in tutorial, smt syntax could support Array theory. However, I
cannot find a example from tutorial. Could anyone please share an example
of its usage?

Thanks in advance!

Best,
Haihao