Assertion list for term "encased with added wheels".

Results from Ascent++: 1
spin ReceivesActionencased with added wheels 0.57