AKZ: Automatic Correction of Widening