log/smt2perr047.smt2:1:36: expected bit-width at '-1'