Analysis of Equality Relationships for Imperative Programs - P. Emelyanov (CoRR, 2006)