added rewriting to bv-pow2 pass