Assertion list for term "set in global options".

Results from Ascent++: 1
default ReceivesActionset in global options 0.29