log/smt2perr098.smt2:1:17: first argument of 'select' is not an array