log/smt2perr070.smt2:1:10: argument to '=>' missing