Assertion list for term "proven to work with accuracy".

Results from Ascent++: 1
circuit ReceivesActionproven to work with accuracy 0.20