Assertion list for term "encased with tire".

Results from Ascent++: 1
spin ReceivesActionencased with tire 0.39