Assertion list for term "overcome with section protection".

Results from Ascent++: 1
fault ReceivesActionovercome with section protection 0.34