regress/parser/smt2perr039.smt2:1:28: expected '_' or 'Array'