log/smt2perr059.smt2:2:1: expected ')' after 'set-info' at end-of-file