Fixed inefficiency in bit-vector rewrite rule.