Assertion list for term "configured to decode signal".

Results from Ascent++: 1
circuit ReceivesActionconfigured to decode signal 0.25