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