regress/parser/smt2perr059.smt2:2:1: missing ')' at end of file