Ascent++ | corrected in the decoder

Assertion list for term "corrected in the decoder".

Results from Ascent++: 2

frequency (`aspect` of antenna) → ReceivesAction → corrected in the decoder	0.33
frequency → ReceivesAction → corrected in the decoder	0.29