log/smt2perr017.smt2:1:2: expected command at 'unsupported-command'