log/smt2perr157.smt2:1:12: expected logic at 'oops'