reimplemented conflict generalization for bv abstraction