regress/parser/smt2perr113.smt2:1:10: expected at least 2 arguments to 'bvand', got 1