compatible with new IdentifierToken class