Some Theoretical Aspects of Searches for Heavy Neutrino Emission in Kaon Decays