Assertion list for term "hardcoded to zero".

Results from Ascent++: 2
bit ReceivesActionhardcoded to zero 0.41
bit (aspect of byte) ReceivesActionhardcoded to zero 0.41