Assertion list for term "formed by the step-down".

Results from Ascent++: 1
circuit ReceivesActionformed by the step-down 0.25