Assertion list for term "allocated for the protocol".

Results from Ascent++: 1
port ReceivesActionallocated for the protocol 0.17