Assertion list for term "tested in the experiment".

Results from Ascent++: 1
circuit ReceivesActiontested in the experiment 0.25