started widening (not effective yet)
now have simple widening (goes to top after 5 iterations)
added another test case for widening