IDGEN-28: IdentifierPool can return the same identifier twice