Analysis of equality relationships: proofs and examples

In this article, we discuss the analysis of equality relationships for program terms. We extend a description of the analysis presented in last articles of the author and give attention to some new aspects which are not widely considered yet. In particular, among other illustrating examples, a program is given for which this analysis without a widening operator diverges.