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