log/smt2perr113.smt2:1:10: argument to 'bvand' missing