Inclusão de novos tokens para IR