regress/parser/smt2perr103.smt2:2:18: index sort of array and sort of index do not match