Assertion list for term "changed to false".

Results from Ascent++: 1
default ReceivesActionchanged to false 0.30