A naive implementation of widened_d is done.
A naive implementation of widened_d is done.