minor dump output fix for bv-abstraction