added comment.
augmented widening

now uses three classes on top of each other:
IntervalPerVarHistory checks evolution of all stores everywhere,
HistoryPerAnchor checks evolution of all intervals in the store of one program point,
IntervalHistory checks the evolution of one interval from one store at one program point
Widening happens in IntervalHistory, i.e., per variable and program point.