Widen the bounds after the bound inference.