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