Assertion list for term "cast with tin".

Results from Ascent++: 1
spine ReceivesActioncast with tin 0.25