I am at a loss for NEC rationale reading this, why would a particular x-former be specified if the GFI feed to it's primary side provided no protection to it's secondary?