log/smt2perr009.smt2:1:9: assert argument is a bit-vector of length 2