regress/parser/smt2perr100.smt2:2:19: index sort of array and sort of index do not match