add EquivalenceAssertionMessage and serialization