Assertion list for term "known to other party".

Results from Ascent++: 1
mistake ReceivesActionknown to other party 0.28