fixed fuzzer assertion failures for bv