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