log/smt2perr128.smt2:1:9: unexpected logic 'QF_BV'