Assertion list for term "communicated to consumer".

Results from Ascent++: 1
hazard ReceivesActioncommunicated to consumer 0.40