outsourced token ID mapping (between document graphs w/ same tokenization)
to function create_token_mapping()