localized widening (using pre-dominators)