This saves a switch case for every non-transitioning state in a token's
state list. If a token has no state transitions at all (only a list of
allowed states), this eliminates the entire state transition switch.