Assertion list for term "affected in case".

Results from Ascent++: 1
joint ReceivesActionaffected in case 0.16