void restrict_bv_size(exprt &expr, const size_t width_in_bits) { restrict_bv_size_visitort visitor(width_in_bits); expr.visit(visitor); }