Assertion list for term "sealed at joint".

Results from Ascent++: 1
pipe ReceivesActionsealed at joint 0.16