Assertion list for term "required to implement the update".

Results from Ascent++: 1
file ReceivesActionrequired to implement the update 0.33