regress/parser/smt2perr098.smt2:1:17: expected array as first argument to 'select'