Assertion list for term "closed at inner end".

Results from Ascent++: 1
sleeve ReceivesActionclosed at inner end 0.38