Check that all fields of m1 match those of m2, except for Header.ID and Additionals.
(m1 dnsmessage.Message, m2 dnsmessage.Message)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected