fixed bv rewrite blow-up
one more fix for rewrites