Array smtlib compliance tests