String tokenName(Object token) { if (token is DynamicToken) { return token.name; } else if (token is Token) { return token.toString().substring(6); } else {} return token.toString(); }