modified the get token path to use the symbol table