log/smt2perr069.smt2:1:14: unexpected bit-vector of width 2 as argument to 'not'