fixed bv bug due to applying equisatisfiable transformations in ppRewrite