Assertion list for term "required to implement the change(s".

Results from Ascent++: 1
file ReceivesActionrequired to implement the change(s 0.32