regress/parser/smt2perr105.smt2:2:29: element sort of array and sort of element do not match