Assertion list
error correction (subgroup of correction ) → ReceivesAction

Results from Ascent++: 1
error correctionReceivesAction stored in the memory 0.25