Assertion list for term "used in switch".

Results from Ascent++: 2
silver ReceivesActionused in switch 0.32
chip ReceivesActionused in switch 0.25