log/smt2perr099.smt2:2:19: second argument of 'select' is an array