fixed bad interaction between bv-to-bool and bv-abstraction