regress/parser/smt2perr128.smt2:1:9: undefined symbol 'QF_BV'