Assertion list for term "set in prong".

Results from Ascent++: 1
diamond ReceivesActionset in prong 0.50