log/smt2perr097.smt2:1:10: 2 arguments to 'select' missing