Assertion list for term "pressed into hardened cores".

Results from Ascent++: 1
filling ReceivesActionpressed into hardened cores 0.25