Assertion list for term "sealed in a package body".

Results from Ascent++: 1
chip ReceivesActionsealed in a package body 0.28