Assertion list for term "changed in the defs.h file".

Results from Ascent++: 1
default ReceivesActionchanged in the defs.h file 0.30