Assertion list for term "set to op".

Results from Ascent++: 1
default ReceivesActionset to op 0.27