log/smt2perr052.smt2:2:1: unexpected end-of-file after 'set-info'