(assert QF_BV