Assertion list for term "filled at two different proofs".

Results from Ascent++: 1
barrel ReceivesActionfilled at two different proofs 0.28