Assertion list for term "set by the krools".

Results from Ascent++: 1
trap ReceivesActionset by the krools 0.25