Assertion list for term "protected by rcd".

Results from Ascent++: 1
circuit ReceivesActionprotected by rcd 0.48