regress/parser/smt2perr097.smt2:1:10: expected 2 arguments to 'select', got 0