log/smt2perr004.smt2:1:2: unexpected end-of-file after '('