Assertion list for term "closed in order".

Results from Ascent++: 1
circuit ReceivesActionclosed in order 0.25