don't use custom key for OrderedATNConfigSet