regress/parser/smt2perr211.smt2:1:18: variable of array sort not supported