Assertion list for term "snoop on message".

Results from Ascent++: 1
adversary CapableOfsnoop on message 0.25