Add support for widening (actually, localized widening) in Soot targets.