Assertion list for term "set in flag".

Results from Ascent++: 1
bit ReceivesActionset in flag 0.11