Implements roughly the widen operator to widen the upper bounds of loop
variables by checking whether their upper bounds are increasing. This
version only widens the upper bounds so it is very experimental.