Assertion list for term "reached low-level".

Results from Ascent++: 1
queue ReceivesActionreached low-level 0.30