update Interval.widen function (include JUnit tests - all pass). add
counter to StmtData. Add widen operations when we reach a statement for
the 5th / 10th time.