Assertion list for term "protected against short-circuit".

Results from Ascent++: 1
output ReceivesActionprotected against short-circuit 0.55