fix bug of IntervalEdge.Equals. fix widening in loops.