Because NONDETERM is secure and MT19337 is not, NONDETERM should never downgrade to MT19337.
Apparently calling .seed() on a NONDETERM random number generator will make it downgrade to MT19337. This behavior should be validated and, if it is true, should be removed.