Assertion list for term "pushed into the die".

Results from Ascent++: 1
metal ReceivesActionpushed into the die 0.30