log/smt2perr065.smt2:1:11: unexpected '()'