Could be that DE code just picks a random number and goes through all owned frames and picks one, then checks if the person has prime version and changes to that.
Thus he would first get a nyx as an option often, and if all the others are normal versions, he would be then directed to the only Prime version he owns, and thus would not need to forma any others.