Email Record: Formal equivalence checking and design debugging /