Function token_key 

pub fn token_key(token: Token) -> u64

The one FIRST bit this token sets.

Exactly one bit, so the filter is FIRST[node] & key(token) != 0 with no loop and no branch.